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
...
*
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
*
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
*
added isar-help-induct-rules;
Makarius Wenzel
2001-10-04
*
isar-goals-font-lock-keywords: corollary;
Makarius Wenzel
2001-09-10
*
tuned usage;
Makarius Wenzel
2001-09-06
*
tuned proof text;
Makarius Wenzel
2001-09-04
*
added option -P: actually start Proof General (default true);
Makarius Wenzel
2001-09-04
*
tuned;
Makarius Wenzel
2001-09-04
*
no need to adjust the path to bash on the first line (due to /usr/bin/env);
Makarius Wenzel
2001-09-04
*
Set proof-goal-with-hole-regexp
David Aspinall
2001-09-03
*
Add specific install instrs, rearrange.
David Aspinall
2001-09-03
*
handle relative heap paths gracefully;
Makarius Wenzel
2001-08-31
*
back to *official* Isabelle99-2 (later Isabelle dists will provide
Makarius Wenzel
2001-08-31
*
new commands (proof terms, code generator);
Makarius Wenzel
2001-08-31
*
include ISABELLE_HOME_USER/etc/isar-keywords.el or
Makarius Wenzel
2001-08-30
*
updated;
Makarius Wenzel
2001-08-30
*
proof-script-integral-proofs t;
Makarius Wenzel
2001-08-30
*
Change of proof span type back to goalsave
David Aspinall
2001-08-28
*
Change buffer-syntactic-context -> proof-buffer-syntactic-context
David Aspinall
2001-08-10
*
preliminary addition of "corollary";
Makarius Wenzel
2001-05-18
*
proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;
Makarius Wenzel
2001-01-18
*
proof-string-match;
Makarius Wenzel
2001-01-12
*
proper font-lock of isar-keywords-proof-heading;
Makarius Wenzel
2001-01-10
*
added "recdef_tc";
Makarius Wenzel
2001-01-03
*
include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers;
Makarius Wenzel
2000-12-28
*
improved isar-string regexp;
Makarius Wenzel
2000-12-28
*
tuned font lock;
Makarius Wenzel
2000-12-23
*
goalsave -> proof
David Aspinall
2000-12-20
*
tuned font-lock-keywords;
Makarius Wenzel
2000-12-06
*
added -m option;
Makarius Wenzel
2000-12-01
*
disable trace option;
Makarius Wenzel
2000-11-22
*
converted from sh back to bash;
Makarius Wenzel
2000-11-21
*
tuned isar-goals-font-lock-keywords;
Makarius Wenzel
2000-10-31
*
tuned font-lock-keywords;
Makarius Wenzel
2000-10-30
*
font-lock support for antiquotations;
Makarius Wenzel
2000-10-26
*
isar-web-page;
Makarius Wenzel
2000-09-28
*
** C func-menu: observe proof-syntactic-context (general problem of
Makarius Wenzel
2000-09-27
*
removed broken outline stuff;
Makarius Wenzel
2000-09-27
*
tuned docstring;
Makarius Wenzel
2000-09-27
*
use plain /bin/sh instead of bash;
Makarius Wenzel
2000-09-21
*
** D support proof-next-error?
Makarius Wenzel
2000-09-21
*
tuned comment;
Makarius Wenzel
2000-09-21
*
added -X option;
Makarius Wenzel
2000-09-20
[prev]
[next]