| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| added isar-shell-adjust-line-width; tuned; | |||
| 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 | |
| variations on undo now in isar-syntax.el; proof-shell-restart-cmd: touch_all_thys; proper retract of theories; proper multiple buffer support; | |||
| 1999-07-27 | isar-name-regexp: group result; | Makarius Wenzel | |
| isar-init-syntax-table now in isar-syntax.el; variations on undo now in isar-syntax.el; added isar-remove; | |||
| 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 | |
| removed qed_with; | |||
| 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 | |
| fixed isar-count-undos, isar-find-and-forget: proper handling of empty and diag commands; | |||
| 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 | |
| renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing); improved undo / kill operations; tweaked syntax table to cope with (* *) (actual comment) and {* *} (long string); | |||
| 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 | |
| improved cannot-undo; | |||
| 1999-05-26 | tuned keywords; | Makarius Wenzel | |
| 1999-05-26 | added isar-keywords-qed-block; | Makarius Wenzel | |
| 1999-05-25 | more examples; | Makarius Wenzel | |
| 1999-05-25 | tuned; | Makarius Wenzel | |
| 1999-05-24 | this version actually generated by Isabelle; | Makarius Wenzel | |
| 1999-05-23 | replaced isar-keywords-section by isar-keywords-theory-heading; | Makarius Wenzel | |
| added isar-not-undoable-commands-regexp; improved isar-cound-undos; proper version of isar-find-and-forget (handles local qeds properly); improved character syntax classes; | |||
| 1999-05-23 | improved classification of keywords (see also isar-keywords.el); | Makarius Wenzel | |
| improved regexps and font-lock; | |||
| 1999-05-23 | Isabelle/Isar keyword classification (used to be in isar-syntax.el); | Makarius Wenzel | |
| 1999-05-23 | tuned usage; | Makarius Wenzel | |
| do not append '/' to PROOFGENERAL_HOME; | |||
| 1999-05-21 | tuned; | Makarius Wenzel | |
| improved isar-find-and-forget; | |||
| 1999-05-21 | tuned -- still quite unsatisfactory; | Makarius Wenzel | |
| 1999-05-21 | made part of the Isabelle sources; | Makarius Wenzel | |
| 1999-04-27 | fixed proof-shell-quit-cmd; | Makarius Wenzel | |
| 1999-04-27 | deactivated '.' and '..' keywords (tmp); | Makarius Wenzel | |
| 1999-04-23 | added "thus", "hence"; | Makarius Wenzel | |
| tuned "next"; | |||
| 1999-04-16 | initial version of 'isar proof assistant (Isabelle/Isar); | Makarius Wenzel | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |