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
*
Fix for state-preserving-p
David Aspinall
1999-10-06
*
Made new command proof-cd to cd to the directory of the current
David Aspinall
1999-10-06
*
Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command.
David Aspinall
1999-10-06
*
thy mode binding made to match with script mode
David Aspinall
1999-10-06
*
Renamed some configuration variables for uniformity, see CHANGES.
David Aspinall
1999-10-01
*
replaced isa-output-font-lock-terms by isa-output-font-lock-keywords-1;
Makarius Wenzel
1999-09-30
*
tuned isa-init-output-syntax-table;
Makarius Wenzel
1999-09-30
*
Enabled hack for proof-shell-leave-annotations-in-output
David Aspinall
1999-09-29
*
Added setting for proof-find-theorems-command.
David Aspinall
1999-09-23
*
tuned example according to Isabelle style-guide;
Makarius Wenzel
1999-09-22
*
improved (?) proof-shell-proof-completed-regexp;
Makarius Wenzel
1999-09-22
*
Fix for proof-shell-proof-completed-regexp
David Aspinall
1999-09-21
*
Adjusted proof-shell-proof-completed-regexp to match against whole of
David Aspinall
1999-09-21
*
Cleaned up example files so all demonstrate same theorem "conj_comms".
David Aspinall
1999-09-13
*
added bind_thms;
Makarius Wenzel
1999-09-03
*
usage: tell PROOFGENERAL_OPTIONS;
Makarius Wenzel
1999-09-03
*
added ALLGOALS;
Makarius Wenzel
1999-08-29
*
added qed_spec_mp;
Makarius Wenzel
1999-08-25
*
Maintainer addresses
David Aspinall
1999-08-23
*
fixed comment;
Makarius Wenzel
1999-08-23
*
Added font-lock keywords and syntax table setup for buffers displaying
David Aspinall
1999-08-23
*
Improved syntax by copying from isar-syntax.el.
David Aspinall
1999-08-23
*
Disabled binder regexp font locking
David Aspinall
1999-08-20
*
eliminated superficial ';'s;
Makarius Wenzel
1999-08-20
*
update by DvO;
Makarius Wenzel
1999-08-20
*
proof-shell-start-goals-regexp: include \n;
Makarius Wenzel
1999-08-18
*
isa-init-syntax-table moved here from isa.el;
Makarius Wenzel
1999-08-18
*
replaced 'ProofGeneral' by 'Proof General';
Makarius Wenzel
1999-08-18
*
obsolete;
Makarius Wenzel
1999-08-18
*
obsolete, use Isabelle's native ProofGeneral.init instead;
Makarius Wenzel
1999-08-16
*
proof-shell-first-special-char ?\350;
Makarius Wenzel
1999-08-16
*
tuned;
Makarius Wenzel
1999-08-06
*
ProofGeneral interface wrapper for Isabelle/classic
Makarius Wenzel
1999-08-06
*
Removed extra parenthesis.
David Aspinall
1999-07-03
*
fixed some regexp via proof-anchor-regexp;
Makarius Wenzel
1999-07-02
*
renamed proof-commands-regexp to proof-indent-commands-regexp, which
Makarius Wenzel
1999-05-27
*
fixed syntax entry for "_"
Thomas Kleymann
1999-02-03
*
Regexp bug. Use proof-string-match appropriately.
David Aspinall
1999-02-01
*
Changed read-no-blanks-input to read-string, former is defunct.
David Aspinall
1999-01-12
*
File sent by David von Oheimb.
David Aspinall
1998-12-18
*
Docstring tweak
David Aspinall
1998-12-15
*
Fixed broken check on proof-mode-hook.
David Aspinall
1998-12-15
*
made many minor changes to the documentation
Thomas Kleymann
1998-12-15
*
Altered behaviour to allow retraction part-way through finished scripts.
David Aspinall
1998-12-11
*
Fix for splash hack for theory files when proo-splash-inhibit=t.
David Aspinall
1998-12-10
*
Added clear-goals-buffer stuff, asked for response to be left after use_thy.
David Aspinall
1998-11-26
*
Cleaned up, and made use_thy remove ML file from DB properly;
David Aspinall
1998-11-25
*
Documentation improvements.
David Aspinall
1998-11-25
*
FSF Emacs fix for buffer-file-truename, which is the
David Aspinall
1998-11-25
*
Fixed show_context
David Aspinall
1998-11-25
[next]