aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* New files.Gravatar David Aspinall2006-12-05
* Deleted fileGravatar David Aspinall2006-12-05
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* support nested blocks of super/sub-script, but only the outermost levelGravatar Makarius Wenzel2006-02-13
* added \<setminus>;Gravatar Makarius Wenzel2006-01-05
* Remove proof-assistant-settings-cmd, now issued as standard.Gravatar David Aspinall2005-09-30
* old specials are recogized again;Gravatar Makarius Wenzel2005-09-28
* negotiate PGASCII only for proof-shell-unicode;Gravatar Makarius Wenzel2005-09-28
* Updated.Gravatar David Aspinall2005-09-22
* Updated.Gravatar David Aspinall2005-09-22
* better terminate ML code;Gravatar Makarius Wenzel2005-09-18
* removed (again) -- may use isar/interface -I false instead;Gravatar Makarius Wenzel2005-09-17
* removed obsolete ML code;Gravatar Makarius Wenzel2005-09-16
* oops -- proper customize-set-variable;Gravatar Makarius Wenzel2005-09-14
* removed 8bit special chars for isar;Gravatar Makarius Wenzel2005-09-14
* added -m PGASCII for Isabelle/Isar process;Gravatar Makarius Wenzel2005-09-14
* observe PROOFGENERAL_UNICODE as passed by interface script;Gravatar Makarius Wenzel2005-09-14
* added option -U: Unicode (UTF-8) communication;Gravatar Makarius Wenzel2005-09-14
* do not include leading space in parameter to isatool doc, i.e.Gravatar Gerwin Klein2005-09-02
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* prefer emacs over xemacs, which rarely works out of the box;Gravatar Makarius Wenzel2005-08-30
* tuned;Gravatar Makarius Wenzel2005-07-19
* use physical path;Gravatar Makarius Wenzel2005-05-31
* added -L option;Gravatar Makarius Wenzel2005-05-17
* undeleted;Gravatar Makarius Wenzel2005-05-10
* Deleted fileGravatar David Aspinall2005-03-23
* Changes from Clemens Ballarin for large X-Symbol fontsGravatar David Aspinall2005-03-23
* Repaired fix suggested by Jonathan S. ShapiroGravatar David Aspinall2004-10-07
* Include /usr/bin/isatool as a possibilityGravatar David Aspinall2004-10-05
* Fix to `isa-shell-command-to-string' suggested by Jonathan S. ShapiroGravatar David Aspinall2004-10-05
* Set comment-quote-nested (for Emacs/XEmacs 21.5)Gravatar David Aspinall2004-05-09
* Patch from Brother MakariusGravatar David Aspinall2004-05-06
* Updated.Gravatar David Aspinall2004-04-17
* Fix isa-tool-list-docs for altered form of output from isatool docGravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* Add automatic refresh of Logics menuGravatar David Aspinall2004-04-16
* Remove title settingGravatar David Aspinall2004-04-15
* Remove commentGravatar David Aspinall2004-04-15
* Set supported versions of Isabelle (remove 99, 2002 versions).Gravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2004-04-14
* Comment.Gravatar David Aspinall2004-04-13
* Fix comment.Gravatar David Aspinall2004-04-13
* Fix long-lived typo in setting auto-mode-alist.Gravatar David Aspinall2004-04-13
* fixed single char sub/super script in goals/response windowGravatar Gerwin Klein2004-04-05
* CommentsGravatar David Aspinall2004-04-02
* Update email and web addressesGravatar David Aspinall2004-02-08
* spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>Gravatar Gerwin Klein2003-12-29
* removed bold, no longer supported by x-symbolGravatar Gerwin Klein2003-12-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 19:56:04 +0000