File: README-mouse

package info (click to toggle)
acl2 4.3-3
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 76,444 kB
  • sloc: lisp: 951,371; makefile: 3,491; sh: 1,669; perl: 1,639; ansic: 358; cpp: 245; csh: 125; haskell: 17; java: 12
file content (6 lines) | stat: -rw-r--r-- 338 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
 
See the documentation topic PROOF-TREE-EMACS for how to start up and use proof
trees with emacs.  Also see PROOF-TREE for other information about proof trees.

The file README-mouse.doc in this directory explains additional features, not
currently supported though they may work, provided by this interface -- notably
mouse/menu support.