index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
Commit message (
Expand
)
Author
Age
*
isar-keywords-major;
Makarius Wenzel
2000-05-26
*
Removed spurious code in isar-mode function.
David Aspinall
2000-05-25
*
Patch for synchronization problem in Coq, perhaps others.
David Aspinall
2000-05-25
*
added "done";
Makarius Wenzel
2000-05-24
*
replaced proof-ids-to-regexp by isar-ids-to-regexp, which admits
Makarius Wenzel
2000-05-22
*
replaced {{ }} by { };
Makarius Wenzel
2000-05-22
*
isar-verbatim-regexp: include \n;
Makarius Wenzel
2000-05-19
*
re-use isa/interface-setup.el rather than separate isar version;
Makarius Wenzel
2000-05-17
*
Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el
David Aspinall
2000-05-16
*
Modification of proof-shell-init-cmd. Markus, please help...
David Aspinall
2000-05-12
*
Load isabelle-system file shared with Isabelle Proof General.
David Aspinall
2000-05-11
*
Default to isa-mode or isar-mode according to first one invoked.
David Aspinall
2000-05-05
*
isar-indent regexps moved to isar-syntax.el;
Makarius Wenzel
2000-04-25
*
removed unused isar-ids;
Makarius Wenzel
2000-04-25
*
removed "simpset" minor keyword;
Makarius Wenzel
2000-04-25
*
added 'hide';
Makarius Wenzel
2000-04-17
*
fixed proof-mode-for-goals;
Makarius Wenzel
2000-04-12
*
pbp-mode -> goals-mode
David Aspinall
2000-04-07
*
tuned \<bottom>;
Makarius Wenzel
2000-04-06
*
tuned todo stuff;
Makarius Wenzel
2000-04-05
*
improved print_mode switch;
Makarius Wenzel
2000-04-05
*
'welcome' made diagnostic;
Makarius Wenzel
2000-04-05
*
eliminated 'as' keyword;
Makarius Wenzel
2000-04-05
*
added 'print_claset', 'print_simpset';
Makarius Wenzel
2000-04-04
*
added 'ProofGeneral.undo';
Makarius Wenzel
2000-04-03
*
removed 'variables';
Makarius Wenzel
2000-03-27
*
Attempt to fix filename mess for Windows.
David Aspinall
2000-03-24
*
removed 'kill_proof';
Makarius Wenzel
2000-03-23
*
added 'moreover';
Makarius Wenzel
2000-03-23
*
Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...
David Aspinall
2000-03-22
*
Fix other file commands to use %e substitution.
David Aspinall
2000-03-22
*
Use new format character %s to %e to cope with nasty filenames with backslashes.
David Aspinall
2000-03-22
*
transparent cd;
Makarius Wenzel
2000-03-22
*
removed "thence";
Makarius Wenzel
2000-03-19
*
Updated
David Aspinall
2000-03-19
*
Added setting for silent mode.
David Aspinall
2000-03-19
*
New/updated information files
David Aspinall
2000-03-13
*
added 'case', 'print_cases';
Makarius Wenzel
2000-03-09
*
Split low-level todo into several files.
David Aspinall
2000-03-08
*
tuned electric-ignore;
Makarius Wenzel
2000-02-23
*
fix electric-ignore (due to DvO);
Makarius Wenzel
2000-02-15
*
isar-tac-regexp: 'font-lock-reference-face;
Makarius Wenzel
2000-02-14
*
removed then_apply;
Makarius Wenzel
2000-02-14
*
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
*
added "judgment";
Makarius Wenzel
2000-02-11
*
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
2000-02-10
*
tuned indentation code;
Makarius Wenzel
2000-02-09
*
added isar-keywords-qed-global, isar-global-save-command-regexp;
Makarius Wenzel
2000-02-09
*
added 'oops';
Makarius Wenzel
2000-02-09
*
added prefer, defer;
Makarius Wenzel
2000-01-28
[next]