aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Collapse)AuthorAge
* no need to adjust the path to bash on the first line (due to /usr/bin/env);Gravatar Makarius Wenzel2001-09-04
|
* Accidental commit; revert to original.Gravatar David Aspinall2001-09-03
|
* Updating branchGravatar David Aspinall2001-09-03
|
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
|
* Add settings for testing trace buffers.Gravatar David Aspinall2001-09-03
|
* handle relative heap paths gracefully;Gravatar Makarius Wenzel2001-08-31
|
* Add simulations of more qed commands, also sort and uniquify dependencies.Gravatar David Aspinall2001-08-31
|
* Fix for names of functions in proof-dependsGravatar David Aspinall2001-08-31
|
* Add setting for turning on theorem dependency trackingGravatar David Aspinall2001-08-31
|
* Update for Isabelle99-2Gravatar David Aspinall2001-08-31
|
* include ISABELLE_HOME_USER/etc/isar-keywords.el orGravatar Makarius Wenzel2001-08-30
| | | | ISABELLE_HOME/etc/isar-keywords.el if available;
* updated;Gravatar Makarius Wenzel2001-08-30
|
* Fix interrupt hook for PolyML 4 in recent IsabelleGravatar David Aspinall2001-08-30
|
* Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).Gravatar David Aspinall2001-08-30
|
* fixed potential regexp typo (!?);Gravatar Makarius Wenzel2001-08-09
|
* Remove extra proof."Gravatar David Aspinall2001-05-29
|
* renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Gravatar Makarius Wenzel2001-01-24
|
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
|
* Fix loading thy mode fist problem: require proof-script since contextGravatar David Aspinall2001-01-12
| | | | menus are now added for response/goals buffer, which requires proof mode.
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
|
* added \<wrong>;Gravatar Makarius Wenzel2001-01-10
|
* added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;Gravatar Makarius Wenzel2001-01-09
|
* x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);Gravatar Makarius Wenzel2000-12-28
|
* tuned some (rarely used) symbols;Gravatar Makarius Wenzel2000-12-15
|
* isabelle-command-line: getenv "ISABELLE_OPTIONS";Gravatar Makarius Wenzel2000-12-01
|
* added -m option;Gravatar Makarius Wenzel2000-12-01
|
* disable trace option;Gravatar Makarius Wenzel2000-11-22
|
* converted from sh back to bash;Gravatar Makarius Wenzel2000-11-21
| | | | | use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names;
* replaced \<macron> by \<inverse> (better than nothing);Gravatar Makarius Wenzel2000-10-30
|
* parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);Gravatar Makarius Wenzel2000-10-14
|
* support for super- and subscripts (still needs proper per-proverGravatar Makarius Wenzel2000-10-12
| | | | control of x-symbol-subscripts variable);
* added settings: eta-contract, goals-limit, prems-limit;Gravatar Makarius Wenzel2000-10-02
|
* Added bugs that were mentioned in manualGravatar David Aspinall2000-09-27
|
* Dont use customize-set-variable for add splash logoGravatar David Aspinall2000-09-27
|
* Added bits from todo for IsabelleGravatar David Aspinall2000-09-25
|
* isa-isatool-command: tuned standard places of Isabelle installation;Gravatar Makarius Wenzel2000-09-25
|
* tweak 'x-symbol-image-converter to avoid confusing warning;Gravatar Makarius Wenzel2000-09-21
|
* use plain /bin/sh instead of bash;Gravatar Makarius Wenzel2000-09-21
|
* added Isabelle symbols for parendblleft/parendblright glyphs (will beGravatar Makarius Wenzel2000-09-21
| | | | | present in X-Symbol-3.3e; should not cause problems with older versions);
* added -X option;Gravatar Makarius Wenzel2000-09-20
|
* installfonts only when using X window system;Gravatar Makarius Wenzel2000-09-19
|
* improved xsymbol config: include info dir, only init for XEmacs;Gravatar Makarius Wenzel2000-09-19
|
* done: ability to choose logic;Gravatar Makarius Wenzel2000-09-19
|
* isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Gravatar Makarius Wenzel2000-09-19
|
* Isabelle version: 99-1;Gravatar Makarius Wenzel2000-09-19
|
* more robust checking of xsymbol-home;Gravatar Makarius Wenzel2000-09-18
|
* silent-cmd and init-cmd: activate Isabelle99-1 versions;Gravatar Makarius Wenzel2000-09-17
|
* isabelle-command-line: include -PI options for isar;Gravatar Makarius Wenzel2000-09-17
| | | | activate global-timing;
* this file is now a COPY of isar/interface;Gravatar Makarius Wenzel2000-09-17
|
* isatool installfonts (for remote X-Symbol fonts);Gravatar Makarius Wenzel2000-09-15
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 23:33:30 +0000