diff options
Diffstat (limited to 'debian/README.Debian')
-rw-r--r-- | debian/README.Debian | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/README.Debian b/debian/README.Debian new file mode 100644 index 00000000..55825cf9 --- /dev/null +++ b/debian/README.Debian @@ -0,0 +1,22 @@ +-------------------------- ++ Coq package for Debian + +-------------------------- + +Binary (in)compatibility +------------------------ +The compiled libraries of Coq (the *.vo) are not expected to be backward or +forward compatible between releases (including plX releases). In case of a new +upstream release, your Coq files should be recompiled. + + +Coq frontends +------------- +For interactive use of coqtop, we suggest + - a readline editor, such as ledit or rlwrap (or anything that provides the + readline-editor virtual packages); + - or the Proof-General (x)emacs mode, available in the proofgeneral + package. + +However, we recommend you to use the CoqIde GTK+ interface provided in coqide. + + -- Stéphane Glondu <glondu@debian.org>, Sun, 19 Jan 2014 15:11:59 +0100 |