# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1238258510 -7200
# Node ID 28bf1a282a7083d66bb386595d9792f4ebbad940
# Parent  c40837b0c482cba5128db0e72831f056fba47fc6# Parent  24f1a6ce1a7275fbd00f5f7e1b8222fed9c81a95
Automated merge with file:///srv/hg/admin-doc

diff -r c40837b0c482 -r 28bf1a282a70 auto-proof.rst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/auto-proof.rst	Sat Mar 28 18:41:50 2009 +0200
@@ -0,0 +1,49 @@
+-*- outline -*-
+
+* proofgeneral.
+
+  $ sudo apt-get install proofgeneral
+  $ sudo apt-get install proofgeneral-coq
+  $ sudo apt-get install proofgeneral-misc
+  $ sudo apt-get install proofgeneral-doc
+  $ sudo apt-get install proofgeneral-minlog
+
+or build from source:
+
+  $ make clean
+  $ make compile EMACS=xemacs
+  $ cat ~/.emacs
+...
+(load-file "dir/generic/proof-site.el")
+...
+
+See
+
+  http://proofgeneral.inf.ed.ac.uk/
+
+* Isabelle.
+
+Isabelle is a generic proof assistant.
+
+It allows mathematical formulas to be expressed in a formal language and
+provides tools for proving those formulas in a logical calculus. The main
+application is the formalization of mathematical proofs and in particular
+formal verification, which includes proving the correctness of computer
+hardware or software and proving properties of computer languages and
+protocols.
+
+See
+
+  http://isabelle.in.tum.de/overview.html
+  http://en.wikipedia.org/wiki/Isabelle_(theorem_prover)
+
+* IsarMathLib.
+
+This site is an experimental HTML rendering of fragments of the IsarMathLib
+project. IsarMathLib is a library of mathematical proofs formally verified by
+the Isabelle theorem proving environment. The formalization is based on the
+Zermelo-Fraenkel set theory.
+
+See
+
+  http://isarmathlib.org/
diff -r c40837b0c482 -r 28bf1a282a70 laser-disk.rst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/laser-disk.rst	Sat Mar 28 18:41:50 2009 +0200
@@ -0,0 +1,43 @@
+-*- outline -*-
+
+* What best DVD-R or DVD+R?
+
+The DVD-R format was developed by Pioneer in 1997 vc DVD+R in 2002 by Sony.
+
+DVD+R format was not an official DVD format until January 25, 2008.
+
+DVD-R(W) and DVD+R(W) format are incompatible.
+
+DVD-R(W) use amplitude modulation, DVD+R(W) use phase modulation, so more reliable.
+
+On multi-session DVD-R(W) disk any session take up to 96 MB in time on DVD+R(W)
+every session take exactly 2 MB.
+
+DVD+R(W) win!
+
+See
+
+  http://en.wikipedia.org/wiki/DVD-R
+  http://en.wikipedia.org/wiki/DVD%2BR
+
+* What capacity of DVD?
+
++----------+-------------------------------------------+
+|          |                Capacity                   |
++  Type    +-----------+---------------+------+--------+
+|          | sectors   | bytes         | GB   |  GiB   |
+|          | 2,048B    |               |      |        |
++----------+-----------+---------------+------+--------+
+|DVD-R (SL)| 2,298,496 | 4,707,319,808 | 4.7  |  4.384 |
+|DVD+R (SL)| 2,295,104 | 4,700,372,992 | 4.7  |  4.378 |
+|DVD-R DL  | 4,171,712 | 8,543,666,176 | 8.5  |  7.957 |
+|DVD+R DL  | 4,173,824 | 8,547,991,552 | 8.5  |  7.961 |
++----------+-----------+---------------+------+--------+
+
+
+
+
+
+
+
+
diff -r c40837b0c482 -r 28bf1a282a70 video-file.rst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/video-file.rst	Sat Mar 28 18:41:50 2009 +0200
@@ -0,0 +1,23 @@
+-*- outline -*-
+
+* Players for linux?
+
+  $ sudo apt-get install vlc
+or
+  $ sudo apt-get install mplayer
+
+* How convert .3gp to .avi(mpeg)?
+
+First install convertor:
+
+  $ sudo apt-get install ffmpeg
+
+Then do:
+
+  $ ffmpeg -i video-in.3gp -b 250 -s 160×120 -r 15 -f avi -an video-out.avi
+or
+  $ mencoder -oac mp3lame -ovc lavc -o video-out.avi -vf pp,2xsai,scale video-in.3gp
+or
+  $ mencoder -o video-in.avi -vf pp,2xsai,scale -ovc lavc video-out.3gp
+or
+  $ mencoder -o video-in.avi -vf rotate=2 -oac pcm -ovc divx4 video-out.3gp