aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar.el
Commit message (Expand)AuthorAge
* proof-shell-restart-cmd: include welcome;Gravatar Makarius Wenzel1999-09-03
* fixed isar-find-and-forget (proper handling of multiple undos);Gravatar Makarius Wenzel1999-08-29
* isar-response-mode;Gravatar Makarius Wenzel1999-08-24
* print_context;Gravatar Makarius Wenzel1999-08-20
* proof-shell-start-goals-regexp: include \n;Gravatar Makarius Wenzel1999-08-18
* removed obsolete stuff stemming from isa.el;Gravatar Makarius Wenzel1999-07-29
* fixed proof-goal-command;Gravatar Makarius Wenzel1999-07-28
* isar-init-syntax-table now in isar-syntax.el;Gravatar Makarius Wenzel1999-07-27
* isar-stack-to-indent: indent according to (current-column) of open cmd;Gravatar Makarius Wenzel1999-07-08
* fixed some regexps via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* isar-preprocessing: sync markers;Gravatar Makarius Wenzel1999-06-30
* provide proof-string-start-regexp, proof-string-end-regexp;Gravatar Makarius Wenzel1999-05-27
* proper setup for indentation;Gravatar Makarius Wenzel1999-05-26
* tuned;Gravatar Makarius Wenzel1999-05-25
* replaced isar-keywords-section by isar-keywords-theory-heading;Gravatar Makarius Wenzel1999-05-23
* tuned;Gravatar Makarius Wenzel1999-05-21
* fixed proof-shell-quit-cmd;Gravatar Makarius Wenzel1999-04-27
* initial version of 'isar proof assistant (Isabelle/Isar);Gravatar Makarius Wenzel1999-04-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 11:28:42 +0000