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 (
Collapse
)
Author
Age
*
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 ↵
David Aspinall
2004-04-17
|
|
|
|
for Isabelle.
*
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
|
|
|
|
removed bold (not supported by x-symbol any more)
*
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
|
*
Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compile
David Aspinall
2003-03-05
|
*
Add function to parse consts part of syntax output
David Aspinall
2003-03-05
|
*
Improved version from Gerwin Klein/Christoph Wedler; simplified ↵
David Aspinall
2003-03-03
|
|
|
|
auto-mode-style setting.
*
Fix some compile errors
David Aspinall
2003-02-24
|
*
auto-coding-alist
David Aspinall
2003-02-22
|
*
New files.
David Aspinall
2003-02-22
|
*
Move x-sym config to x-symbol-isa.el
David Aspinall
2003-02-22
|
*
Experiments with auto-style
David Aspinall
2003-02-22
|
*
Add backwards compatibility for old pre-PGIP settings mechanism
David Aspinall
2003-02-16
|
*
Updated.
David Aspinall
2003-02-15
|
*
Towards isabelle-refresh-logics
David Aspinall
2003-02-15
|
*
Fix use of replace-regexp-in-string
David Aspinall
2002-12-29
|
*
Documentation.
David Aspinall
2002-11-28
|
*
markup ml for Isar
David Aspinall
2002-11-21
|
*
Make proof-assistants-settings-cmd be evaluated at right time.
David Aspinall
2002-11-20
|
*
Improve isabelle-choose-logic, and make it clear preferences. Remove all ↵
David Aspinall
2002-11-20
|
|
|
|
defpacustom usages.
*
Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.
David Aspinall
2002-11-18
|
*
Add trigger for <pgip messages
David Aspinall
2002-11-08
|
*
Adjust comment about selecting PG/Isar.
David Aspinall
2002-09-11
|
*
Remove isabelle image from splash screen
David Aspinall
2002-08-29
|
*
Search for isabelle binary in standard places.
David Aspinall
2002-08-29
|
*
Dependencies classed as experimental.
David Aspinall
2002-08-29
|
*
Updated.
David Aspinall
2002-08-29
|
*
New theorem deps settings
David Aspinall
2002-08-29
|
*
Add missing semicolon.
David Aspinall
2002-08-28
|
*
Deleted file
David Aspinall
2002-08-28
|
*
proper setup for theorem dependencies;
Makarius Wenzel
2002-08-27
|
[next]