aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar.el
Commit message (Collapse)AuthorAge
* isar-web-page;Gravatar Makarius Wenzel2000-09-28
|
* tuned docstring;Gravatar Makarius Wenzel2000-09-27
|
* tuned comment;Gravatar Makarius Wenzel2000-09-21
|
* isar-toolbar-entries: remove 'goal and 'qed;Gravatar Makarius Wenzel2000-09-19
|
* removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsGravatar Makarius Wenzel2000-09-17
| | | | | in isabelle-command-line); tuned comments;
* removed unused variable C;Gravatar Makarius Wenzel2000-09-03
|
* use isar-markup-ml;Gravatar Makarius Wenzel2000-08-30
| | | | | eliminated superficial semicolons; fixed proof-shell-quit-cmd;
* Change name of mode: isar-proofscript-mode -> isar-mode and removeGravatar David Aspinall2000-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;Gravatar Makarius Wenzel2000-08-28
|
* cleaned up outline stuff;Gravatar Makarius Wenzel2000-08-07
|
* added isar-help functions / keys (how do I get keys into menus?);Gravatar Makarius Wenzel2000-08-03
|
* use ML_command to avoid unwanted output;Gravatar Makarius Wenzel2000-07-19
|
* proof-prog-name: use isabelle-command-line;Gravatar Makarius Wenzel2000-07-08
| | | | removed misc junk;
* tuned help-menu-entries;Gravatar Makarius Wenzel2000-07-06
|
* improved help menu;Gravatar Makarius Wenzel2000-07-01
| | | | replaced "help" by "welcome";
* TidyGravatar David Aspinall2000-06-27
|
* proper function-menu (fume) setup;Gravatar Makarius Wenzel2000-06-16
|
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
|
* proof-shell-error-regexp;Gravatar Makarius Wenzel2000-06-09
|
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
| | | | completion-table: use isar-keywords-major;
* Failed attempted hack to support ML files in isar mode (see comments in ↵Gravatar David Aspinall2000-06-07
| | | | isar-preprocessing).
* Allowed ; to terminate a command by including it in regexp for cmdstartGravatar David Aspinall2000-06-06
| | | | Added completion for Isar keywords and X-symbol token names.
* proof-indent-commands-regexp: use proof-no-regexp;Gravatar Makarius Wenzel2000-06-05
| | | | | isar-global-save-command-p: more robust wrt. empty prev span (malformed!?); isar-preprocessing: fixed terminator regexp;
* Temporary bug fix to solve nil span error messageGravatar David Aspinall2000-06-05
|
* replaced isar-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
| | | | added isar-strip-terminators;
* Remove setting of proof-segment-up-toGravatar David Aspinall2000-06-01
|
* isar-preprocessing inserts final terminator if none there.Gravatar David Aspinall2000-05-30
| | | | | Added (defpgdefault script-indent t) to turn on indentation. Added proof-script-command-start-regexp setting.
* Set settings format function before calculating initial command. Add hilit ↵Gravatar David Aspinall2000-05-29
| | | | for goals buffer
* Use generic default setting mechanism now. Add isar-markup-ml here.Gravatar David Aspinall2000-05-29
|
* Removed spurious code in isar-mode function.Gravatar David Aspinall2000-05-25
| | | | Removed defunct key binding of C-c C-l (Overriden with goto-end-of-locked).
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
|
* replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsGravatar Makarius Wenzel2000-05-22
| | | | keywords to consist of a single non-word char as well (e.g. { });
* isar-verbatim-regexp: include \n;Gravatar Makarius Wenzel2000-05-19
|
* re-use isa/interface-setup.el rather than separate isar version;Gravatar Makarius Wenzel2000-05-17
|
* Modification of proof-shell-init-cmd. Markus, please help...Gravatar David Aspinall2000-05-12
|
* Load isabelle-system file shared with Isabelle Proof General.Gravatar David Aspinall2000-05-11
| | | | | Add default settings to proof-shell-init-cmd. Add Isabelle menu to menubar.
* Default to isa-mode or isar-mode according to first one invoked.Gravatar David Aspinall2000-05-05
|
* isar-indent regexps moved to isar-syntax.el;Gravatar Makarius Wenzel2000-04-25
| | | | tuned comments;
* fixed proof-mode-for-goals;Gravatar Makarius Wenzel2000-04-12
|
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
|
* improved print_mode switch;Gravatar Makarius Wenzel2000-04-05
|
* Attempt to fix filename mess for Windows.Gravatar David Aspinall2000-03-24
|
* Switch back to %s, rename proof-shell-string-escapes -> ↵Gravatar David Aspinall2000-03-22
| | | | proof-shell-filename-escapes, and always apply for filename substn.
* Fix other file commands to use %e substitution.Gravatar David Aspinall2000-03-22
|
* Use new format character %s to %e to cope with nasty filenames with backslashes.Gravatar David Aspinall2000-03-22
|
* transparent cd;Gravatar Makarius Wenzel2000-03-22
|
* Added setting for silent mode.Gravatar David Aspinall2000-03-19
|
* tuned indentation code;Gravatar Makarius Wenzel2000-02-09
|
* Fixes for short output duplication problem: set ↵Gravatar David Aspinall2000-01-06
| | | | proof-shell-eager-annotation-start-length.
* Typo.Gravatar David Aspinall1999-11-18
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 01:44:16 +0000