index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Add prover-specific logo rather than generic ones...
David Aspinall
2000-09-23
*
Image of the general with ??? badge
David Aspinall
2000-09-23
*
Add Pierre's tweak
David Aspinall
2000-09-23
*
Standard poor X-Symbol support for twelf.
David Aspinall
2000-09-23
*
Changes: (actually in previous version)
David Aspinall
2000-09-23
*
Deleted file
David Aspinall
2000-09-23
*
proof-display-some-buffers improved: toggles between goals and response in
David Aspinall
2000-09-23
*
Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...
David Aspinall
2000-09-23
*
Always activate bug fix -- this file only loaded for FSF Emacs.
David Aspinall
2000-09-23
*
Make toolbar enablers work appropriately from non-scripting buffers
David Aspinall
2000-09-23
*
Call (proof-toolbar-setup) to add toolbar to goals and response buffer
David Aspinall
2000-09-23
*
Deleted file
David Aspinall
2000-09-23
*
Remove require on proof-depends
David Aspinall
2000-09-23
*
Update comments
David Aspinall
2000-09-23
*
Updated
David Aspinall
2000-09-23
*
Improved(?) goto button
David Aspinall
2000-09-23
*
Remove obsolete xbms
David Aspinall
2000-09-23
*
Remove xbm's
David Aspinall
2000-09-23
*
Slightly shorter name for info dir entry.
David Aspinall
2000-09-21
*
Set version tag for new release.
David Aspinall
2000-09-21
*
Fix globbing some more.
David Aspinall
2000-09-21
*
Fix for rpm braindead globbing.
David Aspinall
2000-09-21
*
Fix infodir entry, it got broken somehow.
David Aspinall
2000-09-21
*
Add PG-adapting to info files.
David Aspinall
2000-09-21
*
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 Prefixes: tag
David Aspinall
2000-09-21
*
Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ...
David Aspinall
2000-09-21
*
Make PG-adapting first so index.html left pointing to main manual
David Aspinall
2000-09-21
*
added Isabelle symbols for parendblleft/parendblright glyphs (will be
Makarius Wenzel
2000-09-21
*
Newlines.
David Aspinall
2000-09-21
*
Tweaked abort button
David Aspinall
2000-09-21
*
Improved adding more lisp code chapter.
David Aspinall
2000-09-21
*
Changed ChangeLog target to use rcs2log directly. Added developer's details,...
David Aspinall
2000-09-21
*
Removed blurry distinction between block-comment and comment in FSF's buffer-...
David Aspinall
2000-09-21
*
** D support proof-next-error?
Makarius Wenzel
2000-09-21
*
tuned comment;
Makarius Wenzel
2000-09-21
*
bug2: Resolved as of 17.9.00;
Makarius Wenzel
2000-09-21
*
fixed "Dagstuhl";
Makarius Wenzel
2000-09-21
*
done: exit isar;
Makarius Wenzel
2000-09-21
*
added -X option;
Makarius Wenzel
2000-09-20
*
Set version tag for new release.
David Aspinall
2000-09-20
*
Comments
David Aspinall
2000-09-20
*
Disable toolbar enablers on win32.
David Aspinall
2000-09-20
*
New generated buttons.
David Aspinall
2000-09-20
*
Add new button
David Aspinall
2000-09-20
*
added abort button
Christophe Raffalli
2000-09-20
*
abort button
Christophe Raffalli
2000-09-20
*
dirty bug fix in next-span to avoid loops with FSF Emacs
Christophe Raffalli
2000-09-20
*
made \<> word characters (accomodates symbol representation);
Makarius Wenzel
2000-09-19
[next]