index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
...
*
Encourage use of demoisa-easy.el
David Aspinall
2000-09-14
|
*
Encourage use of demoisa-easy.el
David Aspinall
2000-09-14
|
*
Remove FIXME.
David Aspinall
2000-09-14
|
*
Improved docstrings, comments.
David Aspinall
2000-09-14
|
*
Moved proof-add-completions to adapting manual
David Aspinall
2000-09-14
|
*
Added doc of completions, several other script settings. Sections in script ↵
David Aspinall
2000-09-14
|
|
|
|
chapter.
*
Note about creating images for toolbar.
David Aspinall
2000-09-14
|
*
Updated
David Aspinall
2000-09-14
|
*
Updated
David Aspinall
2000-09-14
|
*
Updates
David Aspinall
2000-09-14
|
*
Shrunk a bit
David Aspinall
2000-09-14
|
*
Updated.
David Aspinall
2000-09-14
|
*
done: make help key bindings appear in "Show me ..." menu;
Makarius Wenzel
2000-09-13
|
*
capitalize xs-lang-name;
Makarius Wenzel
2000-09-13
|
*
Removed keystroke index.
David Aspinall
2000-09-13
|
*
Set version tag for new release.
David Aspinall
2000-09-13
|
*
Added some bug test cases.
David Aspinall
2000-09-13
|
*
Updated
David Aspinall
2000-09-13
|
*
Added af2 and twelf to elisp dirs.
David Aspinall
2000-09-13
|
*
Getting ready for 3.2 release
David Aspinall
2000-09-13
|
*
Minor changes and improvements
David Aspinall
2000-09-13
|
*
Reduced sizes of images.
David Aspinall
2000-09-13
|
*
Revamp style a bit -- not so good with netscape but OK elsewhere.
David Aspinall
2000-09-13
|
*
Remove keystroke index, add appendix with demoisa code (directly included)
David Aspinall
2000-09-13
|
*
Docstring changes for printed docs.
David Aspinall
2000-09-13
|
*
Add sections to chapter 2, and text on adjusting toolbar. Update magic
David Aspinall
2000-09-13
|
*
Add removal of state button as test example. Replace af2-with-xemacs -> ↵
David Aspinall
2000-09-13
|
|
|
|
proof-running-on-XEmacs.
*
Add trivial test command.
David Aspinall
2000-09-13
|
*
Order change
David Aspinall
2000-09-13
|
*
Removed proof-toolbar-entries-default and <PA>-toolbar-entries.
David Aspinall
2000-09-13
|
*
Minor improvements
David Aspinall
2000-09-13
|
*
Remove ambitious promise to implement proper generic-find-and-forget.
David Aspinall
2000-09-13
|
*
Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵
David Aspinall
2000-09-13
|
|
|
|
proof-config to allow easier configuration.
*
Make ordinary dist before develdist, because dist clears build dir... whoops.
David Aspinall
2000-09-12
|
*
Notes about using cvs remotely added.
David Aspinall
2000-09-12
|
*
Set version tag for new release.
David Aspinall
2000-09-12
|
*
Updated magic.
David Aspinall
2000-09-12
|
*
Add provide sym-lock to fix sym lock loading problem
David Aspinall
2000-09-12
|
*
More details about parsing functions. Improved intro
David Aspinall
2000-09-12
|
*
Update date.
David Aspinall
2000-09-12
|
*
Remove shell important setting from script ones.
David Aspinall
2000-09-12
|
*
Rather empty example.
David Aspinall
2000-09-12
|
*
Add syntax config for block comments, and remove path from af2-prog-name.
David Aspinall
2000-09-12
|
*
Updated
David Aspinall
2000-09-12
|
*
Add sanity check on important settings for proof shell (underway)
David Aspinall
2000-09-12
|
*
Added entry for Af2
David Aspinall
2000-09-12
|
*
Docs for proof-shell-eager-annotation-start stuff
David Aspinall
2000-09-12
|
*
New version sent by Christophe.
David Aspinall
2000-09-12
|
*
proof-shell-pre-interrupt-hook for PolyML 3 only;
Makarius Wenzel
2000-09-11
|
*
Set version tag for new release.
David Aspinall
2000-09-11
|
[prev]
[next]