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-preprocessing: replace \n by \<^newline>;
Makarius Wenzel
2006-02-12
*
isar-goals-font-lock-keywords: "abbreviations";
Makarius Wenzel
2006-02-10
*
old specials are recogized again;
Makarius Wenzel
2005-09-28
*
updated from pre-Isabelle2005;
Makarius Wenzel
2005-09-22
*
Updated.
David Aspinall
2005-09-21
*
New files.
David Aspinall
2005-09-21
*
Tweak.
David Aspinall
2005-09-21
*
Add command menu
David Aspinall
2005-09-21
*
back to xemacs as default;
Makarius Wenzel
2005-09-21
*
update examples for Isabelle2005;
Makarius Wenzel
2005-09-17
*
proof-shell-wakeup-char ?\^A
Makarius Wenzel
2005-09-17
*
removed 8bit special chars for isar;
Makarius Wenzel
2005-09-14
*
removed 8bit special chars for isar;
Makarius Wenzel
2005-09-14
*
added option -U: Unicode (UTF-8) communication;
Makarius Wenzel
2005-09-14
*
tuned isar-goals-font-lock-keywords;
Makarius Wenzel
2005-09-13
*
tuned isar-keywords-theory-enclose;
Makarius Wenzel
2005-09-06
*
renamed thms_containing to find_theorems;
Makarius Wenzel
2005-09-01
*
special regexps: include PGASCII version;
Makarius Wenzel
2005-09-01
*
special regexps: include PGASCII version;
Makarius Wenzel
2005-09-01
*
tuned ML code for manipulating print_mode;
Makarius Wenzel
2005-09-01
*
prefer emacs over xemacs, which rarely works out of the box;
Makarius Wenzel
2005-08-30
*
added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);
Makarius Wenzel
2005-08-26
*
proof-defshortcut isar-local: \<^loc>;
Makarius Wenzel
2005-08-26
*
made ASCII backquote (`) alternative string delimiter;
Makarius Wenzel
2005-08-26
*
isar-goals-font-lock-keywords: calculation;
Makarius Wenzel
2005-08-18
*
isatool fixheaders;
Makarius Wenzel
2005-08-18
*
obsolete;
Makarius Wenzel
2005-08-18
*
Fix isar-shell-adjust-line-width for mutliple frame mode.
David Aspinall
2005-08-14
*
next-error-regexp seems to have broken; fix it against current Isabelle CVS.
David Aspinall
2005-08-09
*
proof-defshortcut isar-bold;
Makarius Wenzel
2005-08-08
*
tuned;
Makarius Wenzel
2005-07-19
*
tuned isar-goals-font-lock-keywords;
Makarius Wenzel
2005-06-26
*
more general goal pattern;
Makarius Wenzel
2005-06-24
*
use physical path;
Makarius Wenzel
2005-05-31
*
tuned;
Makarius Wenzel
2005-05-31
*
removed find_rwrites, print_intros;
Makarius Wenzel
2005-05-22
*
added -L option;
Makarius Wenzel
2005-05-17
*
Remove junk
David Aspinall
2005-03-25
*
Use another symbol
David Aspinall
2005-03-23
*
Changes from Clemens Ballarin for large X-Symbol fonts
David Aspinall
2005-02-15
*
Added simple testing framework (in progress)
David Aspinall
2005-02-13
*
Remove print draft from menu
David Aspinall
2004-10-07
*
Tune
David Aspinall
2004-08-25
*
Tune
David Aspinall
2004-08-25
*
Change syntax table for \ from word constituent to escape character.
David Aspinall
2004-08-10
*
Fix display_drafts -> print_drafts
David Aspinall
2004-07-23
*
Fix index number back for isar-undo-remove-regexp, change isar-remove instead.
David Aspinall
2004-06-17
*
Fix grouping for isar-generic-expression.
David Aspinall
2004-06-17
*
Fix error regexps for matching additional comma printed in position [NB: for ...
David Aspinall
2004-06-16
*
Last change: added also isar-display-draft isar-print-draft for
David Aspinall
2004-06-16
[prev]
[next]