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 (
Collapse
)
Author
Age
*
Deleted file
David Aspinall
2002-08-09
|
*
proof-splash-display-image -> proof-get-image; generalise for xpm images.
David Aspinall
2002-08-08
|
*
Variable name change proof-comment-{start,end}-regexp -> ↵
David Aspinall
2002-07-19
|
|
|
|
proof-script-comment-{start,end}-regexp.
*
Use x-symbol-enable switch to see whether to include sub/super/bold flks.
David Aspinall
2002-07-18
|
*
Fix goals font lock keywords.
David Aspinall
2002-07-18
|
*
Fix sub/sups; defer loading x-symbol-isabelle.
David Aspinall
2002-07-18
|
*
Fix active variable highlighting in Isabelle with X-Symbol.
David Aspinall
2002-07-18
|
*
Support subterm help facility
David Aspinall
2002-07-17
|
*
Update versions/TODO
David Aspinall
2002-07-17
|
*
Refactor several variable names; clean up, doc subterm markup and output ↵
David Aspinall
2002-07-16
|
|
|
|
display.
*
Add more nags
David Aspinall
2002-07-16
|
*
Revert some premature changes in x-sym support
David Aspinall
2002-07-16
|
*
Tracing bug
David Aspinall
2002-07-14
|
*
Remove FIXME: have added definition of font-lock-preprocessor-face
David Aspinall
2002-07-02
|
*
Adjust syntax tables.
David Aspinall
2002-07-01
|
*
Adjust load order, and try to load a good isar-keywords file. Add several ↵
David Aspinall
2002-07-01
|
|
|
|
FIXMEs.
*
Add code to test new parser.
David Aspinall
2002-07-01
|
*
Revert to previous version. Explain existence of other versions
David Aspinall
2002-06-30
|
*
Fix to prevent {* being considered a command, flag edits
David Aspinall
2002-06-24
|
*
Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].
David Aspinall
2002-06-24
|
*
GPL update
David Aspinall
2002-06-21
|
*
New files.
David Aspinall
2002-06-12
|
*
Fix bug in string syntax in isar-strip-terminators: did this work correctly ↵
David Aspinall
2002-06-08
|
|
|
|
before?
*
Program [broken]
David Aspinall
2002-06-08
|
*
Add types_code and friends
David Aspinall
2002-06-05
|
*
tuned isar-strip-terminators;
Makarius Wenzel
2002-05-10
|
*
tuned comment;
Makarius Wenzel
2002-05-03
|
*
tuned proof-next-error setup;
Makarius Wenzel
2002-05-03
|
*
Added support for proof-shell-next-error
David Aspinall
2002-05-03
|
*
Add support for proof-next-error.
David Aspinall
2002-05-03
|
*
option -g GEOMETRY;
Makarius Wenzel
2002-02-12
|
*
observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;
Makarius Wenzel
2002-02-12
|
*
added isar-undo-ignore-regexp;
Makarius Wenzel
2002-02-12
|
*
more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;
Makarius Wenzel
2002-02-08
|
*
tuned comment;
Makarius Wenzel
2002-01-26
|
*
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
|
*
tuned;
Makarius Wenzel
2001-12-27
|
*
updated;
Makarius Wenzel
2001-12-27
|
*
do not set proof-shell-quit-cmd (admits persistent sessions);
Makarius Wenzel
2001-12-21
|
*
incorporate smart X11 font installation (used to be in isatool installfonts);
Makarius Wenzel
2001-12-12
|
*
activate proof-shell-spill-output-regexp;
Makarius Wenzel
2001-12-05
|
*
isar specific commands for bold/sup/sub;
Makarius Wenzel
2001-12-04
|
*
proof-shell-spill-output-regexp temporarily disabled;
Makarius Wenzel
2001-11-24
|
*
set proof-shell-spill-output-regexp;
Makarius Wenzel
2001-11-20
|
|
|
|
isar-activate-scripting: proof-syn-cd (why is this here needed?);
*
option -k for logic specific isar-keywords file;
Makarius Wenzel
2001-11-13
|
*
updated isar-goals-font-lock-keywords;
Makarius Wenzel
2001-11-07
|
*
isar-goals-font-lock-keywords: more general goal pattern;
Makarius Wenzel
2001-10-13
|
[next]