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