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
*
Added Fiona's changes.
David Aspinall
2000-08-14
*
Files for testing theorem dependency features.
David Aspinall
2000-08-14
*
enhancement of outline regexps for coq, now when hiding bodies, we see
Pierre Courtieu
2000-08-14
*
enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is,
Pierre Courtieu
2000-08-14
*
smart setup of X-Symbol mode;
Makarius Wenzel
2000-08-09
*
Set version tag for new release.
David Aspinall
2000-08-09
*
added outline mode setup (still not quite working as expected);
Makarius Wenzel
2000-08-07
*
cleaned up outline stuff;
Makarius Wenzel
2000-08-07
*
new category isar-keywords-proof-heading;
Makarius Wenzel
2000-08-07
*
** B make help key bindings appear in "Show me ..." menu;
Makarius Wenzel
2000-08-03
*
added isar-help functions / keys (how do I get keys into menus?);
Makarius Wenzel
2000-08-03
*
x-symbol-isabelle-electric-ignore: include [[ ]];
Makarius Wenzel
2000-08-03
*
handle comment inside a command (patch by da);
Makarius Wenzel
2000-08-03
*
x-symbol-isabelle-prepare-table: avoids redundancy in code, improves
Makarius Wenzel
2000-08-02
*
tuned;
Makarius Wenzel
2000-08-02
*
added isa-preprocessing;
Makarius Wenzel
2000-08-02
*
fixed isar-goals-font-lock-keywords;
Makarius Wenzel
2000-07-29
*
added "thm_deps", "overloaded";
Makarius Wenzel
2000-07-29
*
updated;
Makarius Wenzel
2000-07-26
*
use proof-assistant-table instead of proof-assistants;
Makarius Wenzel
2000-07-26
*
Set version tag for new release.
David Aspinall
2000-07-26
*
Suggestion from DvO added
David Aspinall
2000-07-26
*
Note about need to test..
David Aspinall
2000-07-20
*
proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;
Makarius Wenzel
2000-07-20
*
fixed comment;
Makarius Wenzel
2000-07-20
*
Remove accidental testing setq left in.
David Aspinall
2000-07-20
*
Fix date
David Aspinall
2000-07-19
*
bug fixing in matching theorem dependencies
David Aspinall
2000-07-19
*
functions for manipulating theorem dependencies
David Aspinall
2000-07-19
*
experiments with theorem dependencies
David Aspinall
2000-07-19
*
changes to add theorem dependencies recording in spans
David Aspinall
2000-07-19
*
use ML_command to avoid unwanted output;
Makarius Wenzel
2000-07-19
*
reverting to last version
David Aspinall
2000-07-19
*
file for theorem dependencies
fionam
2000-07-19
*
tuned;
Makarius Wenzel
2000-07-17
*
Set version tag for new release.
David Aspinall
2000-07-16
*
Removed some (hopefully redundant) requires.
David Aspinall
2000-07-16
*
Modified, now white paper contains DTDs (soon)
David Aspinall
2000-07-16
*
Note that theres nothing there yet.
David Aspinall
2000-07-16
*
Set version tag for new release.
David Aspinall
2000-07-13
*
Add Isabelle interface scripts to RPM
David Aspinall
2000-07-13
*
Set version tag for new release.
David Aspinall
2000-07-12
*
Updated
David Aspinall
2000-07-12
*
Minor updates
David Aspinall
2000-07-12
*
Update autoloads.
David Aspinall
2000-07-12
*
Make proof-splash-message autoload.
David Aspinall
2000-07-12
*
isabelle-command-line: try to be smart in ensuring proper Isabelle
Makarius Wenzel
2000-07-08
*
proof-prog-name: use isabelle-command-line;
Makarius Wenzel
2000-07-08
*
proof-prog-name: use isabelle-command-line;
Makarius Wenzel
2000-07-08
*
do not change isabelle-prog-name here;
Makarius Wenzel
2000-07-08
[next]