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
*
Allowed ; to terminate a command by including it in regexp for cmdstart
David Aspinall
2000-06-06
*
isar-save-with-hole-regexp: proof-no-regexp;
Makarius Wenzel
2000-06-05
*
proof-indent-commands-regexp: use proof-no-regexp;
Makarius Wenzel
2000-06-05
*
Removed defunct comments
David Aspinall
2000-06-05
*
Temporary bug fix to solve nil span error message
David Aspinall
2000-06-05
*
replaced isar-verbatim by isabelle-verbatim;
Makarius Wenzel
2000-06-04
*
updated;
Makarius Wenzel
2000-06-04
*
replaced isar-verbatim by isabelle-verbatim;
Makarius Wenzel
2000-06-04
*
{ } are back;
Makarius Wenzel
2000-06-03
*
Removed now spurious semicolons, 8-).
David Aspinall
2000-06-01
*
Temporarily removed keywords { and } for new parsing mechanism
David Aspinall
2000-06-01
*
Remove setting of proof-segment-up-to
David Aspinall
2000-06-01
*
improved isar-goals-font-lock-keywords;
Makarius Wenzel
2000-05-30
*
isar-preprocessing inserts final terminator if none there.
David Aspinall
2000-05-30
*
Tweak font lock exprs enough for Example.thy
David Aspinall
2000-05-29
*
Font lock exprs for goals buffer like those in Isabelle
David Aspinall
2000-05-29
*
Set settings format function before calculating initial command. Add hilit f...
David Aspinall
2000-05-29
*
Use generic default setting mechanism now. Add isar-markup-ml here.
David Aspinall
2000-05-29
*
Add -*- isar -*- tag to force mode, and comment to explain.
David Aspinall
2000-05-29
*
isar-any-command-regexp;
Makarius Wenzel
2000-05-26
*
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
[next]