| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-08-16 | added isar-keywords-proof-improper; | Makarius Wenzel | |
| tuned; | |||
| 2000-08-07 | added outline mode setup (still not quite working as expected); | Makarius Wenzel | |
| 2000-08-07 | cleaned up outline stuff; | Makarius Wenzel | |
| 2000-08-07 | new category isar-keywords-proof-heading; | Makarius Wenzel | |
| 2000-08-03 | ** B make help key bindings appear in "Show me ..." menu; | Makarius Wenzel | |
| 2000-08-03 | added isar-help functions / keys (how do I get keys into menus?); | Makarius Wenzel | |
| 2000-07-29 | fixed isar-goals-font-lock-keywords; | Makarius Wenzel | |
| 2000-07-29 | added "thm_deps", "overloaded"; | Makarius Wenzel | |
| 2000-07-19 | use ML_command to avoid unwanted output; | Makarius Wenzel | |
| 2000-07-08 | proof-prog-name: use isabelle-command-line; | Makarius Wenzel | |
| removed misc junk; | |||
| 2000-07-06 | tuned help-menu-entries; | Makarius Wenzel | |
| 2000-07-01 | improved help menu; | Makarius Wenzel | |
| replaced "help" by "welcome"; | |||
| 2000-07-01 | removed 'help'; | Makarius Wenzel | |
| added 'print_antiquotations', 'print_commands', 'print_trans_rules'; | |||
| 2000-06-30 | added method_setup; | Makarius Wenzel | |
| 2000-06-27 | Note about typing in shell buffer | David Aspinall | |
| 2000-06-27 | Tidy | David Aspinall | |
| 2000-06-22 | Extra note. | David Aspinall | |
| 2000-06-16 | proper function-menu (fume) setup; | Makarius Wenzel | |
| 2000-06-16 | Tuned x-symbol config, moved settings to isabelle-system.el | David Aspinall | |
| 2000-06-16 | Deleted files. | David Aspinall | |
| 2000-06-15 | Note to merge | David Aspinall | |
| 2000-06-10 | new indentation setup; | Makarius Wenzel | |
| 2000-06-09 | proof-shell-error-regexp; | Makarius Wenzel | |
| 2000-06-08 | new indentation setup; | Makarius Wenzel | |
| completion-table: use isar-keywords-major; | |||
| 2000-06-08 | new indentation setup; | Makarius Wenzel | |
| 2000-06-08 | isar-keywords-proof-open/close; | Makarius Wenzel | |
| 2000-06-08 | proper indentation; | Makarius Wenzel | |
| 2000-06-07 | Failed attempted hack to support ML files in isar mode (see comments in ↵ | David Aspinall | |
| isar-preprocessing). | |||
| 2000-06-06 | Allowed ; to terminate a command by including it in regexp for cmdstart | David Aspinall | |
| Added completion for Isar keywords and X-symbol token names. | |||
| 2000-06-05 | isar-save-with-hole-regexp: proof-no-regexp; | Makarius Wenzel | |
| 2000-06-05 | proof-indent-commands-regexp: use proof-no-regexp; | Makarius Wenzel | |
| isar-global-save-command-p: more robust wrt. empty prev span (malformed!?); isar-preprocessing: fixed terminator regexp; | |||
| 2000-06-05 | Removed defunct comments | David Aspinall | |
| 2000-06-05 | Temporary bug fix to solve nil span error message | David Aspinall | |
| 2000-06-04 | replaced isar-verbatim by isabelle-verbatim; | Makarius Wenzel | |
| added isar-strip-terminators; | |||
| 2000-06-04 | updated; | Makarius Wenzel | |
| 2000-06-04 | replaced isar-verbatim by isabelle-verbatim; | Makarius Wenzel | |
| fixed output syntax table; | |||
| 2000-06-03 | { } are back; | Makarius Wenzel | |
| 2000-06-01 | Removed now spurious semicolons, 8-). | David Aspinall | |
| 2000-06-01 | Temporarily removed keywords { and } for new parsing mechanism | David Aspinall | |
| 2000-06-01 | Remove setting of proof-segment-up-to | David Aspinall | |
| 2000-05-30 | improved isar-goals-font-lock-keywords; | Makarius Wenzel | |
| 2000-05-30 | isar-preprocessing inserts final terminator if none there. | David Aspinall | |
| Added (defpgdefault script-indent t) to turn on indentation. Added proof-script-command-start-regexp setting. | |||
| 2000-05-29 | Tweak font lock exprs enough for Example.thy | David Aspinall | |
| 2000-05-29 | Font lock exprs for goals buffer like those in Isabelle | David Aspinall | |
| 2000-05-29 | Set settings format function before calculating initial command. Add hilit ↵ | David Aspinall | |
| for goals buffer | |||
| 2000-05-29 | Use generic default setting mechanism now. Add isar-markup-ml here. | David Aspinall | |
| 2000-05-29 | Add -*- isar -*- tag to force mode, and comment to explain. | David Aspinall | |
| 2000-05-26 | isar-any-command-regexp; | Makarius Wenzel | |
| 2000-05-26 | isar-keywords-major; | Makarius Wenzel | |
| 2000-05-25 | Removed spurious code in isar-mode function. | David Aspinall | |
| Removed defunct key binding of C-c C-l (Overriden with goto-end-of-locked). | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |