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
*
Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)
David Aspinall
2002-05-21
*
Updated list of SML keywords
David Aspinall
2002-04-24
*
Add syntax highlighting cahanges from Lucas Dixon
David Aspinall
2002-04-23
*
Fix for E21 with isa-pre-shell-start.
David Aspinall
2002-04-23
*
option -g GEOMETRY;
Makarius Wenzel
2002-02-12
*
full-proofs setting;
Makarius Wenzel
2002-01-21
*
Isabelle2002 instead of Isabelle2001;
Makarius Wenzel
2002-01-21
*
Whitespace
David Aspinall
2002-01-16
*
Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook
David Aspinall
2002-01-16
*
Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp
David Aspinall
2002-01-16
*
Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp
David Aspinall
2002-01-16
*
trace_rules flag;
Makarius Wenzel
2001-12-27
*
updated;
Makarius Wenzel
2001-12-27
*
incorporate smart X11 font installation (used to be in isatool installfonts);
Makarius Wenzel
2001-12-12
*
added symbols for alternative 0..9;
Makarius Wenzel
2001-12-04
*
\<euro> symbol;
Makarius Wenzel
2001-12-01
*
option -k for logic specific isar-keywords file;
Makarius Wenzel
2001-11-13
*
added \<index> symbol;
Makarius Wenzel
2001-11-08
*
added \<lozenge> and \<struct>;
Makarius Wenzel
2001-11-07
*
support \<^bold> control symbols;
Makarius Wenzel
2001-09-26
*
tuned usage;
Makarius Wenzel
2001-09-06
*
added option -P: actually start Proof General (default true);
Makarius Wenzel
2001-09-04
*
no need to adjust the path to bash on the first line (due to /usr/bin/env);
Makarius Wenzel
2001-09-04
*
Accidental commit; revert to original.
David Aspinall
2001-09-03
*
Updating branch
David Aspinall
2001-09-03
*
Add specific install instrs, rearrange.
David Aspinall
2001-09-03
*
Add settings for testing trace buffers.
David Aspinall
2001-09-03
*
handle relative heap paths gracefully;
Makarius Wenzel
2001-08-31
*
Add simulations of more qed commands, also sort and uniquify dependencies.
David Aspinall
2001-08-31
*
Fix for names of functions in proof-depends
David Aspinall
2001-08-31
*
Add setting for turning on theorem dependency tracking
David Aspinall
2001-08-31
*
Update for Isabelle99-2
David Aspinall
2001-08-31
*
include ISABELLE_HOME_USER/etc/isar-keywords.el or
Makarius Wenzel
2001-08-30
*
updated;
Makarius Wenzel
2001-08-30
*
Fix interrupt hook for PolyML 4 in recent Isabelle
David Aspinall
2001-08-30
*
Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).
David Aspinall
2001-08-30
*
fixed potential regexp typo (!?);
Makarius Wenzel
2001-08-09
*
Remove extra proof."
David Aspinall
2001-05-29
*
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
Makarius Wenzel
2001-01-24
*
proof-string-match;
Makarius Wenzel
2001-01-12
*
Fix loading thy mode fist problem: require proof-script since context
David Aspinall
2001-01-12
*
proof-string-match;
Makarius Wenzel
2001-01-12
*
added \<wrong>;
Makarius Wenzel
2001-01-10
*
added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;
Makarius Wenzel
2001-01-09
*
x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);
Makarius Wenzel
2000-12-28
*
tuned some (rarely used) symbols;
Makarius Wenzel
2000-12-15
*
isabelle-command-line: getenv "ISABELLE_OPTIONS";
Makarius Wenzel
2000-12-01
*
added -m option;
Makarius Wenzel
2000-12-01
*
disable trace option;
Makarius Wenzel
2000-11-22
*
converted from sh back to bash;
Makarius Wenzel
2000-11-21
[next]