index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
Commit message (
Expand
)
Author
Age
...
*
isa-isatool-command: tuned standard places of Isabelle installation;
Makarius Wenzel
2000-09-25
*
tweak 'x-symbol-image-converter to avoid confusing warning;
Makarius Wenzel
2000-09-21
*
use plain /bin/sh instead of bash;
Makarius Wenzel
2000-09-21
*
added Isabelle symbols for parendblleft/parendblright glyphs (will be
Makarius Wenzel
2000-09-21
*
added -X option;
Makarius Wenzel
2000-09-20
*
installfonts only when using X window system;
Makarius Wenzel
2000-09-19
*
improved xsymbol config: include info dir, only init for XEmacs;
Makarius Wenzel
2000-09-19
*
done: ability to choose logic;
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
*
more robust checking of xsymbol-home;
Makarius Wenzel
2000-09-18
*
silent-cmd and init-cmd: activate Isabelle99-1 versions;
Makarius Wenzel
2000-09-17
*
isabelle-command-line: include -PI options for isar;
Makarius Wenzel
2000-09-17
*
this file is now a COPY of isar/interface;
Makarius Wenzel
2000-09-17
*
isatool installfonts (for remote X-Symbol fonts);
Makarius Wenzel
2000-09-15
*
renamed \<brokenbar> to \<bar>;
Makarius Wenzel
2000-09-14
*
x-symbol-isabelle-electric-ignore: "~=";
Makarius Wenzel
2000-09-14
*
proof-shell-pre-interrupt-hook for PolyML 3 only;
Makarius Wenzel
2000-09-11
*
Changes for selecting object logic, locating executables.
David Aspinall
2000-09-08
*
more quoting;
Makarius Wenzel
2000-09-02
*
Remove Library.timings call, restore compatibility with I99.
David Aspinall
2000-08-28
*
Added setting for proof-shell-set-elisp-variable-regexp
David Aspinall
2000-08-28
*
cd command: add_path;
Makarius Wenzel
2000-08-28
*
conditional load of proof-site.el;
Makarius Wenzel
2000-08-28
*
-w false implies -x false;
Makarius Wenzel
2000-08-28
*
more symbols;
Makarius Wenzel
2000-08-23
*
tuned x-symbol setup;
Makarius Wenzel
2000-08-23
*
Added Fiona's changes.
David Aspinall
2000-08-14
*
smart setup of X-Symbol mode;
Makarius Wenzel
2000-08-09
*
x-symbol-isabelle-electric-ignore: include [[ ]];
Makarius Wenzel
2000-08-03
*
x-symbol-isabelle-prepare-table: avoids redundancy in code, improves
Makarius Wenzel
2000-08-02
*
tuned;
Makarius Wenzel
2000-08-02
*
added isa-preprocessing;
Makarius Wenzel
2000-08-02
*
Suggestion from DvO added
David Aspinall
2000-07-26
*
Remove accidental testing setq left in.
David Aspinall
2000-07-20
*
experiments with theorem dependencies
David Aspinall
2000-07-19
*
reverting to last version
David Aspinall
2000-07-19
*
file for theorem dependencies
fionam
2000-07-19
*
isabelle-command-line: try to be smart in ensuring proper Isabelle
Makarius Wenzel
2000-07-08
*
proof-prog-name: use isabelle-command-line;
Makarius Wenzel
2000-07-08
*
do not change isabelle-prog-name here;
Makarius Wenzel
2000-07-08
*
Fix to make back() undoable.
David Aspinall
2000-07-05
*
Note about trapping errors
David Aspinall
2000-07-03
*
quick-and-dirty t by default;
Makarius Wenzel
2000-07-03
*
Patch to cope gracefully with empty list of Isabelle documents.
David Aspinall
2000-07-03
*
activate global-timing;
Makarius Wenzel
2000-07-01
*
tuned docs menu;
Makarius Wenzel
2000-07-01
*
Added quick-and-dirty setting -- we can still argue about the default, 8-)
David Aspinall
2000-06-29
*
Tidy
David Aspinall
2000-06-27
*
Added missing proof.
David Aspinall
2000-06-22
[prev]
[next]