| Age | Commit message (Collapse) | Author |
|---|
|
General, and give up loading.
To save embarrasment in demos, 8-).
|
|
General specific bugs is still missing.
|
|
|
|
|
|
o new chapter on support for other packages
o updated section on fume-func
|
|
|
|
|
|
be a handy menu item to switch to the shell buffer.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Made file FSF GNU Emacs compatible.
|
|
|
|
proof-menu.el. Always call proof-toolbar-setup.
|
|
renamed it [to reserve -p only for functions (predicates)].
|
|
|
|
|
|
|
|
Done. :-)
|
|
|
|
|
|
|
|
|
|
|
|
retracted by prover.
|
|
|
|
|
|
|
