aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
1999-08-03updated;Makarius Wenzel
1999-07-29removed obsolete stuff stemming from isa.el;Makarius Wenzel
1999-07-28fixed proof-goal-command;Makarius Wenzel
1999-07-28fixed Id;Makarius Wenzel
1999-07-28pretty_setmargin;Makarius Wenzel
1999-07-27isar-init-syntax-table now in isar-syntax.el;Makarius Wenzel
1999-07-27isar-name-regexp: group result;Makarius Wenzel
1999-07-27updated;Makarius Wenzel
1999-07-24please ignore (back to 1.1);Makarius Wenzel
1999-07-24*** empty log message ***Makarius Wenzel
1999-07-22removed 'break';Makarius Wenzel
1999-07-09added def;Makarius Wenzel
1999-07-08added concl, thence;Makarius Wenzel
1999-07-08isar-stack-to-indent: indent according to (current-column) of open cmd;Makarius Wenzel
1999-07-06removed prev, up, top;Makarius Wenzel
1999-07-02fixed some regexps via proof-anchor-regexp;Makarius Wenzel
1999-07-02added "sorry" proof;Makarius Wenzel
1999-07-02"txt" keyword;Makarius Wenzel
1999-07-01isar-keywords-proof-asm;Makarius Wenzel
1999-06-30isar-preprocessing: sync markers;Makarius Wenzel
1999-06-28updated;Makarius Wenzel
1999-06-04updated;Makarius Wenzel
1999-05-27oops;Makarius Wenzel
1999-05-27removed junk;Makarius Wenzel
1999-05-27provide proof-string-start-regexp, proof-string-end-regexp;Makarius Wenzel
1999-05-27renamed undos to undos_proof;Makarius Wenzel
1999-05-27be chatty;Makarius Wenzel
1999-05-26proper setup for indentation;Makarius Wenzel
1999-05-26tuned keywords;Makarius Wenzel
1999-05-26added isar-keywords-qed-block;Makarius Wenzel
1999-05-25more examples;Makarius Wenzel
1999-05-25tuned;Makarius Wenzel
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-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-16initial version of 'isar proof assistant (Isabelle/Isar);Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 16:59:39 +0000