index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Commit message (
Expand
)
Author
Age
*
Changed customization group name
David Aspinall
1998-09-23
*
Changed customization group and removed nagging not-busy error message
David Aspinall
1998-09-23
*
Removed "myass" test entry.
David Aspinall
1998-09-23
*
Made configuration more sophisticated:
David Aspinall
1998-09-23
*
Cleaned up and improved some code, added docstrings, FIXMEs.
David Aspinall
1998-09-22
*
Added new buttons, changed icons.
David Aspinall
1998-09-22
*
Fix in proof-shell-handle-output
David Aspinall
1998-09-17
*
fixed a bug in proof-shell-filter and proof-shell-handle-ouput
Thomas Kleymann
1998-09-17
*
Bug in regexp for isa auto-mode-alist.
David Aspinall
1998-09-16
*
Moved proof-info-dir into proof-site and defcustom'd it.
David Aspinall
1998-09-16
*
fixed implementation fo proof-find-next-terminator;
Thomas Kleymann
1998-09-16
*
Isabelle Proof General loads for .thy as well as .ML files.
David Aspinall
1998-09-16
*
Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p...
David Aspinall
1998-09-16
*
Reimplemented proof-shell-popup-eager-annotation
Thomas Kleymann
1998-09-15
*
Added docs and proof-restart-script-same-process (may need work)
David Aspinall
1998-09-14
*
Changed proof-assistant into proof-assistants to support autoloads for more t...
David Aspinall
1998-09-14
*
Set version tag for release.
David Aspinall
1998-09-10
*
Set version tag for release.
David Aspinall
1998-09-10
*
Added proof-general-version
David Aspinall
1998-09-10
*
-Added documentation
Thomas Kleymann
1998-09-10
*
fixed implementation of `proof-have-color'
Thomas Kleymann
1998-09-10
*
Renamed recycle icon to restart
David Aspinall
1998-09-09
*
Added query to restart script button in case of accidents.
David Aspinall
1998-09-09
*
Made proof-assert-next-command move forward by default.
David Aspinall
1998-09-09
*
Added Id to headers.
David Aspinall
1998-09-09
*
Fixup branch number
David Aspinall
1998-09-09
*
Added todos for toolbar.
David Aspinall
1998-09-08
*
Added FIXMEs.
David Aspinall
1998-09-08
*
Added Id and comments
David Aspinall
1998-09-08
*
Added Id
David Aspinall
1998-09-08
*
First version of generic proof toolbar.
David Aspinall
1998-09-08
*
Made customize variables user-visible
David Aspinall
1998-09-08
*
Added image directory for toolbar icons
David Aspinall
1998-09-08
*
Layout.
David Aspinall
1998-09-08
*
removed dependency on tl-list
Thomas Kleymann
1998-09-08
*
Requires proof-site.
David Aspinall
1998-09-03
*
Site-wide configuration for proof mode.
David Aspinall
1998-09-03
*
Renamed for new subdirectory structure
David Aspinall
1998-09-03