index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generic
Age
Commit message (
Expand
)
Author
2000-09-11
Added proof-shell-annotated-prompt-regexp to important settings, removed safe...
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-08-29
Set version tag for new release.
David Aspinall
2000-08-29
Added proof-shell-auto-terminate-commands
David Aspinall
2000-08-28
Set version tag for new release.
David Aspinall
2000-08-28
Added proof-shell-set-elisp-variable-regexp
David Aspinall
2000-08-28
Added twelf and experimental support note.
David Aspinall
2000-08-28
FIXME note added, missing docstring from macro fn def.
David Aspinall
2000-08-14
Added Fiona's changes, cleaned up a little bit with header and footer
David Aspinall
2000-08-14
Added split string on theorem dependency code, to make list of dependents.
David Aspinall
2000-08-14
Added Fiona's changes, cleaned up a little bit
David Aspinall
2000-08-09
Set version tag for new release.
David Aspinall
2000-08-03
handle comment inside a command (patch by da);
Makarius Wenzel
2000-07-26
Set version tag for new release.
David Aspinall
2000-07-20
proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;
Makarius Wenzel
2000-07-20
fixed comment;
Makarius Wenzel
2000-07-19
bug fixing in matching theorem dependencies
David Aspinall
2000-07-19
functions for manipulating theorem dependencies
David Aspinall
2000-07-19
changes to add theorem dependencies recording in spans
David Aspinall
2000-07-16
Set version tag for new release.
David Aspinall
2000-07-13
Set version tag for new release.
David Aspinall
2000-07-12
Set version tag for new release.
David Aspinall
2000-07-12
Update autoloads.
David Aspinall
2000-07-12
Make proof-splash-message autoload.
David Aspinall
2000-07-05
Set version tag for new release.
David Aspinall
2000-07-04
Set version tag for new release.
David Aspinall
2000-07-03
Set version tag for new release.
David Aspinall
2000-06-29
Set version tag for new release.
David Aspinall
2000-06-27
Set version tag for new release.
David Aspinall
2000-06-27
Minor tweak.
David Aspinall
2000-06-26
Fix mark buffer atomic problem (caused multiple file oddity with Isar), for n...
David Aspinall
2000-06-22
Set version tag for new release.
David Aspinall
2000-06-22
Remove modeline from extra frames (in XEmacs).
David Aspinall
2000-06-22
Added back defconsts for face names needed for FSF Emacs.
David Aspinall
2000-06-19
Set version tag for new release.
David Aspinall
2000-06-16
proof-script-find-next-entity: support list of match items;
Makarius Wenzel
2000-06-16
proof-script-next-entity-regexps: admit list of MATCHNOS;
Makarius Wenzel
2000-06-16
Set version tag for new release.
David Aspinall
2000-06-16
Added pgcustom x-symbol-language to allow different language name than proof ...
David Aspinall
2000-06-15
Support toolbar in gtk-xemacs
David Aspinall
2000-06-15
More comments at top of file
David Aspinall
2000-06-15
Improved some docstrings.
David Aspinall
2000-06-09
Strange ? got in by accident.
David Aspinall
2000-06-09
Set version tag for new release.
David Aspinall
2000-06-09
Comment
David Aspinall
2000-06-09
Remove toolbar and menubar from windows in multiple frame mode.
David Aspinall
2000-06-08
rewrote code from scratch: faster, easier to configure; now enabled by default;
Makarius Wenzel
2000-06-08
settings for new indentation setup;
Makarius Wenzel
[next]
