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
*
no need to adjust the path to bash on the first line (due to /usr/bin/env);
Makarius Wenzel
2001-09-04
*
Accidental commit; revert to original.
David Aspinall
2001-09-03
*
Updating branch
David Aspinall
2001-09-03
*
Add specific install instrs, rearrange.
David Aspinall
2001-09-03
*
Add settings for testing trace buffers.
David Aspinall
2001-09-03
*
handle relative heap paths gracefully;
Makarius Wenzel
2001-08-31
*
Add simulations of more qed commands, also sort and uniquify dependencies.
David Aspinall
2001-08-31
*
Fix for names of functions in proof-depends
David Aspinall
2001-08-31
*
Add setting for turning on theorem dependency tracking
David Aspinall
2001-08-31
*
Update for Isabelle99-2
David Aspinall
2001-08-31
*
include ISABELLE_HOME_USER/etc/isar-keywords.el or
Makarius Wenzel
2001-08-30
*
updated;
Makarius Wenzel
2001-08-30
*
Fix interrupt hook for PolyML 4 in recent Isabelle
David Aspinall
2001-08-30
*
Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).
David Aspinall
2001-08-30
*
fixed potential regexp typo (!?);
Makarius Wenzel
2001-08-09
*
Remove extra proof."
David Aspinall
2001-05-29
*
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
Makarius Wenzel
2001-01-24
*
proof-string-match;
Makarius Wenzel
2001-01-12
*
Fix loading thy mode fist problem: require proof-script since context
David Aspinall
2001-01-12
*
proof-string-match;
Makarius Wenzel
2001-01-12
*
added \<wrong>;
Makarius Wenzel
2001-01-10
*
added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;
Makarius Wenzel
2001-01-09
*
x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);
Makarius Wenzel
2000-12-28
*
tuned some (rarely used) symbols;
Makarius Wenzel
2000-12-15
*
isabelle-command-line: getenv "ISABELLE_OPTIONS";
Makarius Wenzel
2000-12-01
*
added -m option;
Makarius Wenzel
2000-12-01
*
disable trace option;
Makarius Wenzel
2000-11-22
*
converted from sh back to bash;
Makarius Wenzel
2000-11-21
*
replaced \<macron> by \<inverse> (better than nothing);
Makarius Wenzel
2000-10-30
*
parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);
Makarius Wenzel
2000-10-14
*
support for super- and subscripts (still needs proper per-prover
Makarius Wenzel
2000-10-12
*
added settings: eta-contract, goals-limit, prems-limit;
Makarius Wenzel
2000-10-02
*
Added bugs that were mentioned in manual
David Aspinall
2000-09-27
*
Dont use customize-set-variable for add splash logo
David Aspinall
2000-09-27
*
Added bits from todo for Isabelle
David Aspinall
2000-09-25
*
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
[next]