Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | ** D support proof-next-error? | Makarius Wenzel | 2000-09-21 |
| | |||
* | tuned comment; | Makarius Wenzel | 2000-09-21 |
| | |||
* | added -X option; | Makarius Wenzel | 2000-09-20 |
| | |||
* | made \<> word characters (accomodates symbol representation); | Makarius Wenzel | 2000-09-19 |
| | |||
* | installfonts only when using X window system; | Makarius Wenzel | 2000-09-19 |
| | |||
* | isar-toolbar-entries: remove 'goal and 'qed; | Makarius Wenzel | 2000-09-19 |
| | |||
* | removed junk; | Makarius Wenzel | 2000-09-19 |
| | |||
* | isa: DEFAULT_FILES="Scratch.thy Scratch.ML"; | Makarius Wenzel | 2000-09-19 |
| | |||
* | Isabelle version: 99-1; | Makarius Wenzel | 2000-09-19 |
| | | | | tuned; | ||
* | complete set of keywords from IOA image; | Makarius Wenzel | 2000-09-18 |
| | |||
* | removed proof-shell-pre-sync-init-cmd (init now handled by -PI options | Makarius Wenzel | 2000-09-17 |
| | | | | | in isabelle-command-line); tuned comments; | ||
* | -I option for Isar vs. classic Isabelle mode; | Makarius Wenzel | 2000-09-17 |
| | | | | tuned; | ||
* | isatool installfonts (for remote X-Symbol fonts); | Makarius Wenzel | 2000-09-15 |
| | |||
* | done: make help key bindings appear in "Show me ..." menu; | Makarius Wenzel | 2000-09-13 |
| | |||
* | removed "of", "congs"; | Makarius Wenzel | 2000-09-07 |
| | | | | added "hints"; | ||
* | removed unused variable C; | Makarius Wenzel | 2000-09-03 |
| | |||
* | more quoting; | Makarius Wenzel | 2000-09-02 |
| | |||
* | use isar-markup-ml; | Makarius Wenzel | 2000-08-30 |
| | | | | | eliminated superficial semicolons; fixed proof-shell-quit-cmd; | ||
* | syntax: "?" made word char; | Makarius Wenzel | 2000-08-29 |
| | |||
* | Change name of mode: isar-proofscript-mode -> isar-mode and remove | David Aspinall | 2000-08-28 |
| | | | | | | | alias. Regular mode name needed for fancy macros. Use proof-definvisible fancy macro to define help menu functions. Removed parentheses from menu entries so key bindings show up. | ||
* | cd command: add_path; | Makarius Wenzel | 2000-08-28 |
| | |||
* | -w false implies -x false; | Makarius Wenzel | 2000-08-28 |
| | | | | do not load proof-site.el here; | ||
* | isar-keywords-proof-improper; | Makarius Wenzel | 2000-08-16 |
| | |||
* | added isar-keywords-proof-improper; | Makarius Wenzel | 2000-08-16 |
| | | | | tuned; | ||
* | 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-07 |
| | |||
* | ** 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-08-03 |
| | |||
* | fixed isar-goals-font-lock-keywords; | Makarius Wenzel | 2000-07-29 |
| | |||
* | added "thm_deps", "overloaded"; | Makarius Wenzel | 2000-07-29 |
| | |||
* | use ML_command to avoid unwanted output; | Makarius Wenzel | 2000-07-19 |
| | |||
* | proof-prog-name: use isabelle-command-line; | Makarius Wenzel | 2000-07-08 |
| | | | | removed misc junk; | ||
* | tuned help-menu-entries; | Makarius Wenzel | 2000-07-06 |
| | |||
* | improved help menu; | Makarius Wenzel | 2000-07-01 |
| | | | | replaced "help" by "welcome"; | ||
* | removed 'help'; | Makarius Wenzel | 2000-07-01 |
| | | | | added 'print_antiquotations', 'print_commands', 'print_trans_rules'; | ||
* | added method_setup; | Makarius Wenzel | 2000-06-30 |
| | |||
* | Note about typing in shell buffer | David Aspinall | 2000-06-27 |
| | |||
* | Tidy | David Aspinall | 2000-06-27 |
| | |||
* | Extra note. | David Aspinall | 2000-06-22 |
| | |||
* | 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-16 |
| | |||
* | Note to merge | David Aspinall | 2000-06-15 |
| | |||
* | new indentation setup; | Makarius Wenzel | 2000-06-10 |
| | |||
* | proof-shell-error-regexp; | Makarius Wenzel | 2000-06-09 |
| | |||
* | new indentation setup; | Makarius Wenzel | 2000-06-08 |
| | | | | completion-table: use isar-keywords-major; | ||
* | new indentation setup; | Makarius Wenzel | 2000-06-08 |
| | |||
* | isar-keywords-proof-open/close; | Makarius Wenzel | 2000-06-08 |
| | |||
* | proper indentation; | Makarius Wenzel | 2000-06-08 |
| |