aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* lemma and_comms;Gravatar Makarius Wenzel1999-09-21
* proof-shell-restart-cmd: include welcome;Gravatar Makarius Wenzel1999-09-03
* usage: tell PROOFGENERAL_OPTIONS;Gravatar Makarius Wenzel1999-09-03
* fixed isar-find-and-forget (proper handling of multiple undos);Gravatar Makarius Wenzel1999-08-29
* tuned;Gravatar Makarius Wenzel1999-08-29
* isar-response-mode;Gravatar Makarius Wenzel1999-08-24
* some output syntax;Gravatar Makarius Wenzel1999-08-24
* font-lock-function-face -> font-lock-function-name-faceGravatar David Aspinall1999-08-23
* print_context;Gravatar Makarius Wenzel1999-08-23
* print_context;Gravatar Makarius Wenzel1999-08-20
* tuned;Gravatar Makarius Wenzel1999-08-18
* proof-shell-start-goals-regexp: include \n;Gravatar Makarius Wenzel1999-08-18
* deactivated isar-font-lock-terms (currently useless);Gravatar Makarius Wenzel1999-08-18
* replaced 'ProofGeneral' by 'Proof General';Gravatar Makarius Wenzel1999-08-18
* disable_pr, enable_pr;Gravatar Makarius Wenzel1999-08-16
* updated;Gravatar Makarius Wenzel1999-08-03
* removed obsolete stuff stemming from isa.el;Gravatar Makarius Wenzel1999-07-29
* fixed proof-goal-command;Gravatar Makarius Wenzel1999-07-28
* fixed Id;Gravatar Makarius Wenzel1999-07-28
* pretty_setmargin;Gravatar Makarius Wenzel1999-07-28
* isar-init-syntax-table now in isar-syntax.el;Gravatar Makarius Wenzel1999-07-27
* isar-name-regexp: group result;Gravatar Makarius Wenzel1999-07-27
* updated;Gravatar Makarius Wenzel1999-07-27
* please ignore (back to 1.1);Gravatar Makarius Wenzel1999-07-24
* *** empty log message ***Gravatar Makarius Wenzel1999-07-24
* removed 'break';Gravatar Makarius Wenzel1999-07-22
* added def;Gravatar Makarius Wenzel1999-07-09
* added concl, thence;Gravatar Makarius Wenzel1999-07-08
* isar-stack-to-indent: indent according to (current-column) of open cmd;Gravatar Makarius Wenzel1999-07-08
* removed prev, up, top;Gravatar Makarius Wenzel1999-07-06
* fixed some regexps via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* added "sorry" proof;Gravatar Makarius Wenzel1999-07-02
* "txt" keyword;Gravatar Makarius Wenzel1999-07-02
* isar-keywords-proof-asm;Gravatar Makarius Wenzel1999-07-01
* isar-preprocessing: sync markers;Gravatar Makarius Wenzel1999-06-30
* updated;Gravatar Makarius Wenzel1999-06-28
* updated;Gravatar Makarius Wenzel1999-06-04
* oops;Gravatar Makarius Wenzel1999-05-27
* removed junk;Gravatar Makarius Wenzel1999-05-27
* provide proof-string-start-regexp, proof-string-end-regexp;Gravatar Makarius Wenzel1999-05-27
* renamed undos to undos_proof;Gravatar Makarius Wenzel1999-05-27
* be chatty;Gravatar Makarius Wenzel1999-05-27
* proper setup for indentation;Gravatar Makarius Wenzel1999-05-26
* tuned keywords;Gravatar Makarius Wenzel1999-05-26
* added isar-keywords-qed-block;Gravatar Makarius Wenzel1999-05-26
* more examples;Gravatar Makarius Wenzel1999-05-25
* tuned;Gravatar Makarius Wenzel1999-05-25
* this version actually generated by Isabelle;Gravatar Makarius Wenzel1999-05-24
* replaced isar-keywords-section by isar-keywords-theory-heading;Gravatar Makarius Wenzel1999-05-23
* improved classification of keywords (see also isar-keywords.el);Gravatar Makarius Wenzel1999-05-23