File: README.Debian

package info (click to toggle)
proofgeneral 3.5-4.1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 8,120 kB
  • ctags: 3,972
  • sloc: lisp: 34,872; makefile: 452; sh: 323; perl: 205; ansic: 43
file content (15 lines) | stat: -rw-r--r-- 591 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
Proof General for Debian
========================

Notes:
------
 
 * Currently the .el files are not compiled during installation because
   this is not supported by Proof General currently.
 * If you choose to load Proof General automatically, now you have to start
   it by calling the proofgeneral command in Emacs, e.g. by
   M-x proofgeneral. Before it was loaded automatically, i.e. all the file
   extensions of proof scripts were taken over my Proof General which might 
   not be what you expect or want.

 -- Stefan Schimanski <schimmi@debian.org>, Thu, 7 Dec 2006 12:29:47 +0200