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
*
Remove proof-assistant-settings-cmd, now issued as standard.
David Aspinall
2005-09-30
*
old specials are recogized again;
Makarius Wenzel
2005-09-28
*
negotiate PGASCII only for proof-shell-unicode;
Makarius Wenzel
2005-09-28
*
Updated.
David Aspinall
2005-09-22
*
Updated.
David Aspinall
2005-09-22
*
better terminate ML code;
Makarius Wenzel
2005-09-18
*
removed (again) -- may use isar/interface -I false instead;
Makarius Wenzel
2005-09-17
*
removed obsolete ML code;
Makarius Wenzel
2005-09-16
*
oops -- proper customize-set-variable;
Makarius Wenzel
2005-09-14
*
removed 8bit special chars for isar;
Makarius Wenzel
2005-09-14
*
added -m PGASCII for Isabelle/Isar process;
Makarius Wenzel
2005-09-14
*
observe PROOFGENERAL_UNICODE as passed by interface script;
Makarius Wenzel
2005-09-14
*
added option -U: Unicode (UTF-8) communication;
Makarius Wenzel
2005-09-14
*
do not include leading space in parameter to isatool doc, i.e.
Gerwin Klein
2005-09-02
*
special regexps: include PGASCII version;
Makarius Wenzel
2005-09-01
*
tuned ML code for manipulating print_mode;
Makarius Wenzel
2005-09-01
*
tuned ML code for manipulating print_mode;
Makarius Wenzel
2005-09-01
*
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
*
undeleted;
Makarius Wenzel
2005-05-10
*
Deleted file
David Aspinall
2005-03-23
*
Changes from Clemens Ballarin for large X-Symbol fonts
David Aspinall
2005-03-23
*
Repaired fix suggested by Jonathan S. Shapiro
David Aspinall
2004-10-07
*
Include /usr/bin/isatool as a possibility
David Aspinall
2004-10-05
*
Fix to `isa-shell-command-to-string' suggested by Jonathan S. Shapiro
David Aspinall
2004-10-05
*
Set comment-quote-nested (for Emacs/XEmacs 21.5)
David Aspinall
2004-05-09
*
Patch from Brother Makarius
David Aspinall
2004-05-06
*
Updated.
David Aspinall
2004-04-17
*
Fix isa-tool-list-docs for altered form of output from isatool doc
David Aspinall
2004-04-17
*
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...
David Aspinall
2004-04-17
*
Add automatic refresh of Logics menu
David Aspinall
2004-04-16
*
Remove title setting
David Aspinall
2004-04-15
*
Remove comment
David Aspinall
2004-04-15
*
Set supported versions of Isabelle (remove 99, 2002 versions).
David Aspinall
2004-04-14
*
Updated.
David Aspinall
2004-04-14
*
Comment.
David Aspinall
2004-04-13
*
Fix comment.
David Aspinall
2004-04-13
*
Fix long-lived typo in setting auto-mode-alist.
David Aspinall
2004-04-13
*
fixed single char sub/super script in goals/response window
Gerwin Klein
2004-04-05
*
Comments
David Aspinall
2004-04-02
*
Update email and web addresses
David Aspinall
2004-02-08
*
spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>
Gerwin Klein
2003-12-29
*
removed bold, no longer supported by x-symbol
Gerwin Klein
2003-12-23
*
more cleanup of sub/superscript, removed duplicate subscript-matcher
Gerwin Klein
2003-12-23
*
allow sub/super scripts in identifiers (\<^isub> and \<^isup>)
Gerwin Klein
2003-10-16
*
Add a location under HOME to search path for isatool
David Aspinall
2003-05-23
*
Updated by Gerwin to remove some X-Symbol loading
David Aspinall
2003-04-12
*
Comments
David Aspinall
2003-04-05
[next]