index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
Commit message (
Expand
)
Author
Age
...
*
Suggestion from DvO added
David Aspinall
2000-07-26
*
Remove accidental testing setq left in.
David Aspinall
2000-07-20
*
experiments with theorem dependencies
David Aspinall
2000-07-19
*
reverting to last version
David Aspinall
2000-07-19
*
file for theorem dependencies
fionam
2000-07-19
*
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
*
do not change isabelle-prog-name here;
Makarius Wenzel
2000-07-08
*
Fix to make back() undoable.
David Aspinall
2000-07-05
*
Note about trapping errors
David Aspinall
2000-07-03
*
quick-and-dirty t by default;
Makarius Wenzel
2000-07-03
*
Patch to cope gracefully with empty list of Isabelle documents.
David Aspinall
2000-07-03
*
activate global-timing;
Makarius Wenzel
2000-07-01
*
tuned docs menu;
Makarius Wenzel
2000-07-01
*
Added quick-and-dirty setting -- we can still argue about the default, 8-)
David Aspinall
2000-06-29
*
Tidy
David Aspinall
2000-06-27
*
Added missing proof.
David Aspinall
2000-06-22
*
Fix typo causing missing proof-shell-pre-interrupt-hook.
David Aspinall
2000-06-19
*
proper indentation setup;
Makarius Wenzel
2000-06-16
*
proper indentation;
Makarius Wenzel
2000-06-16
*
Renamed x symbol language name to isabelle (rather big for status line, unfor...
David Aspinall
2000-06-16
*
Tuned x-symbol config, moved settings to isabelle-system.el
David Aspinall
2000-06-16
*
Renamed file
David Aspinall
2000-06-16
*
First attempt at using new indentation for Isabelle. Utterly broken.
David Aspinall
2000-06-15
*
fixed show_sorts;
Makarius Wenzel
2000-06-09
*
adapted to new indentation setup;
Makarius Wenzel
2000-06-08
*
Removed disable of simp tracing from enable/disable pr, desired functionality...
David Aspinall
2000-06-07
*
improved isabelle-verbatim-regexp: use \` \' instead of ^ $;
Makarius Wenzel
2000-06-05
*
Added proof-next-error to menu.
David Aspinall
2000-06-05
*
Added settings for proof-next-error.
David Aspinall
2000-06-05
*
fixed output syntax table;
Makarius Wenzel
2000-06-05
*
replaced isa-verbatim by isabelle-verbatim;
Makarius Wenzel
2000-06-04
*
added isabelle-verbatim;
Makarius Wenzel
2000-06-04
*
Remove spurious spaces
David Aspinall
2000-06-01
*
Commented out global-timing since it seems to be Isabelle99-1 specific.
David Aspinall
2000-05-31
*
Added old completion table from Isamode. Added code to automatically add com...
David Aspinall
2000-05-31
*
Added missing command terminators for proof-xsym commands
David Aspinall
2000-05-30
*
handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;
Makarius Wenzel
2000-05-30
*
defpacustom global-timing;
Makarius Wenzel
2000-05-30
*
Docstring
David Aspinall
2000-05-29
*
Remove isar-markup-ml from here
David Aspinall
2000-05-29
*
Generalized proof assistant settings mechanism
David Aspinall
2000-05-29
*
Add explicit terminators to commands. Generalized isabelle-set-default-cmd.
David Aspinall
2000-05-29
*
Additions to font lock on output
David Aspinall
2000-05-29
*
proof-defass-default -> defpgdefault
David Aspinall
2000-05-26
*
Patch for synchronization problem in Coq, perhaps others.
David Aspinall
2000-05-25
*
Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out);
Makarius Wenzel
2000-05-18
*
added show-consts, long-names;
Makarius Wenzel
2000-05-17
*
Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el
David Aspinall
2000-05-16
*
Missing quote
David Aspinall
2000-05-16
[prev]
[next]