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
...
*
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 p...
David Aspinall
2000-09-13
*
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
*
New prover, first bash.
David Aspinall
2000-09-11
*
Added proof-shell-annotated-prompt-regexp to important settings, removed safe...
David Aspinall
2000-09-11
*
Customize always available if PG is
David Aspinall
2000-09-08
*
Updated
David Aspinall
2000-09-08
*
Changes for selecting object logic, locating executables.
David Aspinall
2000-09-08
*
ADded proof-locate-executable.
David Aspinall
2000-09-08
*
Fix obscure problem with proof-segment-upto-cmdstart with buggy input.
David Aspinall
2000-09-08
*
Rearrangement
David Aspinall
2000-09-08
*
removed "of", "congs";
Makarius Wenzel
2000-09-07
*
removed unused variable C;
Makarius Wenzel
2000-09-03
*
more quoting;
Makarius Wenzel
2000-09-02
*
use isar-markup-ml;
Makarius Wenzel
2000-08-30
*
syntax: "?" made word char;
Makarius Wenzel
2000-08-29
*
Set version tag for new release.
David Aspinall
2000-08-29
*
Tweak
David Aspinall
2000-08-29
*
Example file grabbed from twelf distrib
David Aspinall
2000-08-29
*
A little bit of progress.
David Aspinall
2000-08-29
*
Added proof-shell-auto-terminate-commands
David Aspinall
2000-08-29
*
Set version tag for new release.
David Aspinall
2000-08-28
*
adapting manual needs intro fixing
David Aspinall
2000-08-28
*
Fix description of manual now broken into two
David Aspinall
2000-08-28
*
Updated magic
David Aspinall
2000-08-28
*
Fix recursive make
David Aspinall
2000-08-28
*
Note about CVSROOT setting.
David Aspinall
2000-08-28
*
Branch
David Aspinall
2000-08-28
*
Remove Library.timings call, restore compatibility with I99.
David Aspinall
2000-08-28
*
Branch
David Aspinall
2000-08-28
[prev]
[next]