index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
added proof-string-start-regexp, proof-string-end-regexp;
Makarius Wenzel
1999-05-27
*
proper setup for indentation;
Makarius Wenzel
1999-05-26
*
tuned keywords;
Makarius Wenzel
1999-05-26
*
added isar-keywords-qed-block;
Makarius Wenzel
1999-05-26
*
fixed bug in proof-parse-to-point: missing (setq stack ...) in case of
Makarius Wenzel
1999-05-26
*
closed string in comment;
Makarius Wenzel
1999-05-26
*
more examples;
Makarius Wenzel
1999-05-25
*
removed superficial space;
Makarius Wenzel
1999-05-25
*
added proof-really-save-command-p to support
Makarius Wenzel
1999-05-25
*
proof-done-advancing: added proof-really-save-command-p to support
Makarius Wenzel
1999-05-25
*
tuned;
Makarius Wenzel
1999-05-25
*
this version actually generated by Isabelle;
Makarius Wenzel
1999-05-24
*
replaced isar-keywords-section by isar-keywords-theory-heading;
Makarius Wenzel
1999-05-23
*
improved classification of keywords (see also isar-keywords.el);
Makarius Wenzel
1999-05-23
*
Isabelle/Isar keyword classification (used to be in isar-syntax.el);
Makarius Wenzel
1999-05-23
*
tuned usage;
Makarius Wenzel
1999-05-23
*
tuned;
Makarius Wenzel
1999-05-21
*
tuned -- still quite unsatisfactory;
Makarius Wenzel
1999-05-21
*
made part of the Isabelle sources;
Makarius Wenzel
1999-05-21
*
I've added the custom option 'prog-name-guess' in the generic part and
Patrick Loiseleur
1999-05-17
*
several additions, as usual
Patrick Loiseleur
1999-05-17
*
changed use of proof-send (OLD) to proof-shell-insert
Paul Callaghan
1999-05-12
*
instantiation for "plastic" proof assistant
Paul Callaghan
1999-05-11
*
added proof system "plastic", triggered by a .lf extension
Paul Callaghan
1999-05-11
*
Add toggle for proof toolbar to menu
David Aspinall
1999-05-11
*
todo for reorganizing menus.
David Aspinall
1999-05-11
*
*** empty log message ***
Patrick Loiseleur
1999-05-03
*
OrElse -> Orelse
Patrick Loiseleur
1999-05-03
*
proof-home-directory is correct even if $PROOFGENERAL_HOME does not
Patrick Loiseleur
1999-05-03
*
proof-list-global is disabled (must be rewritten)
Patrick Loiseleur
1999-05-03
*
fixed proof-shell-quit-cmd;
Makarius Wenzel
1999-04-27
*
deactivated '.' and '..' keywords (tmp);
Makarius Wenzel
1999-04-27
*
added "thus", "hence";
Makarius Wenzel
1999-04-23
*
Added the correct proof-shell-restart-cmd
Patrick Loiseleur
1999-04-20
*
A few coloring tricks
Patrick Loiseleur
1999-04-20
*
initial version of 'isar proof assistant (Isabelle/Isar);
Makarius Wenzel
1999-04-16
*
added 'isar proof assistant;
Makarius Wenzel
1999-04-16
*
Set version tag for new release.
proofgen
1999-04-07
*
Merged changes sent by Patrick Loiseleur.
David Aspinall
1999-04-07
*
Fixed.
David Aspinall
1999-03-08
*
Clarification on isa-thy fix.
David Aspinall
1999-03-08
*
Idea for proof-auto-retract, notes about proof-strict-read-only
David Aspinall
1999-03-08
*
Improved documentation on tags
Thomas Kleymann
1999-02-24
*
extended section on Coq tags
Thomas Kleymann
1999-02-23
*
Set version tag for new release.
David Aspinall
1999-02-22
*
Comments from Healf explaining need for coq-goal-command-p
David Aspinall
1999-02-22
*
Updated. Explained Coq syntax prob for proof-goal-command-p
David Aspinall
1999-02-22
*
Mentioned PROOFGENERAL_ASSISTANTS
David Aspinall
1999-02-22
*
Coq section on tags improved to mention coqtags.
David Aspinall
1999-02-22
*
Coq proof mode renamed Coq Proof General
David Aspinall
1999-02-22
[next]