index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
/
interface
Commit message (
Expand
)
Author
Age
*
removed obsolete references to 'isa';
Makarius Wenzel
2006-12-07
*
back to xemacs as default;
Makarius Wenzel
2005-09-21
*
added option -U: Unicode (UTF-8) communication;
Makarius Wenzel
2005-09-14
*
prefer emacs over xemacs, which rarely works out of the box;
Makarius Wenzel
2005-08-30
*
tuned;
Makarius Wenzel
2005-07-19
*
use physical path;
Makarius Wenzel
2005-05-31
*
added -L option;
Makarius Wenzel
2005-05-17
*
Changes from Clemens Ballarin for large X-Symbol fonts
David Aspinall
2005-02-15
*
Prevent setting WM title so Emacs can do its own thing
David Aspinall
2004-04-15
*
option -g GEOMETRY;
Makarius Wenzel
2002-02-12
*
incorporate smart X11 font installation (used to be in isatool installfonts);
Makarius Wenzel
2001-12-12
*
option -k for logic specific isar-keywords file;
Makarius Wenzel
2001-11-13
*
tuned usage;
Makarius Wenzel
2001-09-06
*
added option -P: actually start Proof General (default true);
Makarius Wenzel
2001-09-04
*
handle relative heap paths gracefully;
Makarius Wenzel
2001-08-31
*
include ISABELLE_HOME_USER/etc/isar-keywords.el or
Makarius Wenzel
2001-08-30
*
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
*
use plain /bin/sh instead of bash;
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
*
isa: DEFAULT_FILES="Scratch.thy Scratch.ML";
Makarius Wenzel
2000-09-19
*
-I option for Isar vs. classic Isabelle mode;
Makarius Wenzel
2000-09-17
*
isatool installfonts (for remote X-Symbol fonts);
Makarius Wenzel
2000-09-15
*
more quoting;
Makarius Wenzel
2000-09-02
*
-w false implies -x false;
Makarius Wenzel
2000-08-28
*
re-use isa/interface-setup.el rather than separate isar version;
Makarius Wenzel
2000-05-17
*
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
*
let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;
Makarius Wenzel
1999-10-15
*
usage: tell PROOFGENERAL_OPTIONS;
Makarius Wenzel
1999-09-03
*
replaced 'ProofGeneral' by 'Proof General';
Makarius Wenzel
1999-08-18
*
tuned usage;
Makarius Wenzel
1999-05-23
*
initial version of 'isar proof assistant (Isabelle/Isar);
Makarius Wenzel
1999-04-16