| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-09-26 | added thms_containing, ML_setup; | Makarius Wenzel |
| 1999-09-25 | proof-shell-proof-completed-regexp nil; | Makarius Wenzel |
| 1999-09-24 | Isabelle term / type hiliting; | Makarius Wenzel |
| 1999-09-24 | tuned; | Makarius Wenzel |
| 1999-09-24 | unified example with other proof assistants; | Makarius Wenzel |
| 1999-09-21 | lemma and_comms; | Makarius Wenzel |
| 1999-09-03 | proof-shell-restart-cmd: include welcome; | Makarius Wenzel |
| 1999-09-03 | usage: tell PROOFGENERAL_OPTIONS; | Makarius Wenzel |
| 1999-08-29 | fixed isar-find-and-forget (proper handling of multiple undos); | Makarius Wenzel |
| 1999-08-29 | tuned; | Makarius Wenzel |
| 1999-08-24 | isar-response-mode; | Makarius Wenzel |
| 1999-08-24 | some output syntax; | Makarius Wenzel |
| 1999-08-23 | font-lock-function-face -> font-lock-function-name-face | David Aspinall |
| 1999-08-23 | print_context; | Makarius Wenzel |
| 1999-08-20 | print_context; | Makarius Wenzel |
| 1999-08-18 | tuned; | Makarius Wenzel |
| 1999-08-18 | proof-shell-start-goals-regexp: include \n; | Makarius Wenzel |
| 1999-08-18 | deactivated isar-font-lock-terms (currently useless); | Makarius Wenzel |
| 1999-08-18 | replaced 'ProofGeneral' by 'Proof General'; | Makarius Wenzel |
| 1999-08-16 | disable_pr, enable_pr; | Makarius Wenzel |
| 1999-08-03 | updated; | Makarius Wenzel |
| 1999-07-29 | removed obsolete stuff stemming from isa.el; | Makarius Wenzel |
| 1999-07-28 | fixed proof-goal-command; | Makarius Wenzel |
| 1999-07-28 | fixed Id; | Makarius Wenzel |
| 1999-07-28 | pretty_setmargin; | Makarius Wenzel |
| 1999-07-27 | isar-init-syntax-table now in isar-syntax.el; | Makarius Wenzel |
| 1999-07-27 | isar-name-regexp: group result; | Makarius Wenzel |
| 1999-07-27 | updated; | Makarius Wenzel |
| 1999-07-24 | please ignore (back to 1.1); | Makarius Wenzel |
| 1999-07-24 | *** empty log message *** | Makarius Wenzel |
| 1999-07-22 | removed 'break'; | Makarius Wenzel |
| 1999-07-09 | added def; | Makarius Wenzel |
| 1999-07-08 | added concl, thence; | Makarius Wenzel |
| 1999-07-08 | isar-stack-to-indent: indent according to (current-column) of open cmd; | Makarius Wenzel |
| 1999-07-06 | removed prev, up, top; | Makarius Wenzel |
| 1999-07-02 | fixed some regexps via proof-anchor-regexp; | Makarius Wenzel |
| 1999-07-02 | added "sorry" proof; | Makarius Wenzel |
| 1999-07-02 | "txt" keyword; | Makarius Wenzel |
| 1999-07-01 | isar-keywords-proof-asm; | Makarius Wenzel |
| 1999-06-30 | isar-preprocessing: sync markers; | Makarius Wenzel |
| 1999-06-28 | updated; | Makarius Wenzel |
| 1999-06-04 | updated; | Makarius Wenzel |
| 1999-05-27 | oops; | Makarius Wenzel |
| 1999-05-27 | removed junk; | Makarius Wenzel |
| 1999-05-27 | provide proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel |
| 1999-05-27 | renamed undos to undos_proof; | Makarius Wenzel |
| 1999-05-27 | be chatty; | Makarius Wenzel |
| 1999-05-26 | proper setup for indentation; | Makarius Wenzel |
| 1999-05-26 | tuned keywords; | Makarius Wenzel |
| 1999-05-26 | added isar-keywords-qed-block; | Makarius Wenzel |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |