index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Updated
David Aspinall
1999-09-28
*
Reorganization of menus: made a single menu but flattened Scripting submenu.
David Aspinall
1999-09-28
*
Fix for FSF: it should load proof-toolbar too.
David Aspinall
1999-09-28
*
Made Scripting menu entry item on menubar.
David Aspinall
1999-09-28
*
Longer menu names, allowed some toolbar items to be omitted from menu.
David Aspinall
1999-09-28
*
Note about syntax
David Aspinall
1999-09-28
*
Set version tag for new release.
David Aspinall
1999-09-28
*
Set version tag for new release.
David Aspinall
1999-09-27
*
Changed button order.
David Aspinall
1999-09-27
*
added isar-verbatim;
Makarius Wenzel
1999-09-26
*
added thms_containing, ML_setup;
Makarius Wenzel
1999-09-26
*
proof-shell-proof-completed-regexp nil;
Makarius Wenzel
1999-09-25
*
Isabelle term / type hiliting;
Makarius Wenzel
1999-09-24
*
tuned;
Makarius Wenzel
1999-09-24
*
unified example with other proof assistants;
Makarius Wenzel
1999-09-24
*
Added names of helpful people at summer shcool
David Aspinall
1999-09-24
*
Updated
David Aspinall
1999-09-24
*
Updated
David Aspinall
1999-09-23
*
Docstrings
David Aspinall
1999-09-23
*
Added menu binding for finding theorems.
David Aspinall
1999-09-23
*
Added doc for proof-find-theorems
David Aspinall
1999-09-23
*
Set proof-find-theorems-command
David Aspinall
1999-09-23
*
Set version tag for new release.
David Aspinall
1999-09-23
*
Added proof-find-theorems and some hairy macros to define related commands.
David Aspinall
1999-09-23
*
Added implementation of proof-toolbar-find
David Aspinall
1999-09-23
*
Trivial.
David Aspinall
1999-09-23
*
Updated
David Aspinall
1999-09-23
*
Added setting for proof-find-theorems-command.
David Aspinall
1999-09-23
*
Added proof-find-theorems-command setting.
David Aspinall
1999-09-23
*
Fixed up date order.
David Aspinall
1999-09-23
*
updated (make magic);
Makarius Wenzel
1999-09-22
*
Set version tag for new release.
David Aspinall
1999-09-22
*
Added item about Giens
David Aspinall
1999-09-22
*
Docstrings
David Aspinall
1999-09-22
*
proof-completed-regexp: match number 1 is response text;
Makarius Wenzel
1999-09-22
*
Bug in command button for toolbar.
David Aspinall
1999-09-22
*
Added interval timer to reduce flickeriness of refresh.
David Aspinall
1999-09-22
*
Whitespace.
David Aspinall
1999-09-22
*
Added find and help buttons. Find does nothing at the moment.
David Aspinall
1999-09-22
*
Look up and left for context, down and right for state. Are these the right ...
David Aspinall
1999-09-22
*
New buttons
David Aspinall
1999-09-22
*
Updated buttons.
David Aspinall
1999-09-22
*
Comments
David Aspinall
1999-09-22
*
Button name change
David Aspinall
1999-09-22
*
Whitespace
David Aspinall
1999-09-22
*
Changed name of button
David Aspinall
1999-09-22
*
Earlier explanation of what a proof assistant is.
David Aspinall
1999-09-22
*
Updated with new buttons
David Aspinall
1999-09-22
*
Image a bit like show.
David Aspinall
1999-09-22
*
Correct text, still no image.
David Aspinall
1999-09-22
[prev]
[next]