aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-05-24this version actually generated by Isabelle;Makarius Wenzel
1999-05-23replaced isar-keywords-section by isar-keywords-theory-heading;Makarius Wenzel
1999-05-23improved classification of keywords (see also isar-keywords.el);Makarius Wenzel
1999-05-23Isabelle/Isar keyword classification (used to be in isar-syntax.el);Makarius Wenzel
1999-05-23tuned usage;Makarius Wenzel
1999-05-21tuned;Makarius Wenzel
1999-05-21tuned -- still quite unsatisfactory;Makarius Wenzel
1999-05-21made part of the Isabelle sources;Makarius Wenzel
1999-05-17I've added the custom option 'prog-name-guess' in the generic part andPatrick Loiseleur
1999-05-17several additions, as usualPatrick Loiseleur
1999-05-12changed use of proof-send (OLD) to proof-shell-insertPaul Callaghan
1999-05-11instantiation for "plastic" proof assistantPaul Callaghan
1999-05-11added proof system "plastic", triggered by a .lf extensionPaul Callaghan
1999-05-11Add toggle for proof toolbar to menuDavid Aspinall
1999-05-11todo for reorganizing menus.David Aspinall
1999-05-03*** empty log message ***Patrick Loiseleur
1999-05-03OrElse -> OrelsePatrick Loiseleur
1999-05-03proof-home-directory is correct even if $PROOFGENERAL_HOME does notPatrick Loiseleur
1999-05-03proof-list-global is disabled (must be rewritten)Patrick Loiseleur
1999-04-27fixed proof-shell-quit-cmd;Makarius Wenzel
1999-04-27deactivated '.' and '..' keywords (tmp);Makarius Wenzel
1999-04-23added "thus", "hence";Makarius Wenzel
1999-04-20Added the correct proof-shell-restart-cmdPatrick Loiseleur
1999-04-20A few coloring tricksPatrick Loiseleur
1999-04-16initial version of 'isar proof assistant (Isabelle/Isar);Makarius Wenzel
1999-04-16added 'isar proof assistant;Makarius Wenzel
1999-04-07Set version tag for new release.proofgen
1999-04-07Merged changes sent by Patrick Loiseleur.David Aspinall
1999-03-08Fixed.David Aspinall
1999-03-08Clarification on isa-thy fix.David Aspinall
1999-03-08Idea for proof-auto-retract, notes about proof-strict-read-onlyDavid Aspinall
1999-02-24Improved documentation on tagsThomas Kleymann
1999-02-23extended section on Coq tagsThomas Kleymann
1999-02-22Set version tag for new release.David Aspinall
1999-02-22Comments from Healf explaining need for coq-goal-command-pDavid Aspinall
1999-02-22Updated. Explained Coq syntax prob for proof-goal-command-pDavid Aspinall
1999-02-22Mentioned PROOFGENERAL_ASSISTANTSDavid Aspinall
1999-02-22Coq section on tags improved to mention coqtags.David Aspinall
1999-02-22Coq proof mode renamed Coq Proof GeneralDavid Aspinall
1999-02-22Fixed for dvips which sends to printer by default.David Aspinall
1999-02-22DocstringDavid Aspinall
1999-02-22Added hack to fix nested @samp @var problem.David Aspinall
1999-02-22Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.David Aspinall
1999-02-22Updated.David Aspinall
1999-02-22Fixed bug by shifting configuration of minor mode for active terminator.David Aspinall
1999-02-22Updated magic. Shorted section name.David Aspinall
1999-02-22Added revised version of text from Healf for Coq. Updated version numbers/au...David Aspinall
1999-02-03fixed syntax entry for "_"Thomas Kleymann
1999-02-01Set version tag for new release.David Aspinall
1999-02-01Idea to have a mailing list for PG.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 12:15:51 +0000