index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2004-03-01
Renamed file
David Aspinall
2004-03-01
Renamed file
David Aspinall
2004-03-01
Fix buglets shown up by byte compilation.
David Aspinall
2004-03-01
Comment.
David Aspinall
2004-03-01
Fix/simplify documentation.
David Aspinall
2004-03-01
Comment.
David Aspinall
2004-03-01
Set version tag for new release.
David Aspinall
2004-03-01
Tweak desktop integration; add application-registry.
David Aspinall
2004-03-01
New file
David Aspinall
2004-03-01
Simplify make call
David Aspinall
2004-03-01
Better title
David Aspinall
2004-03-01
Tweaks to building tar file to include correct files. Remove golive from fak...
David Aspinall
2004-03-01
Mention non-Mule XEmacs version probs
David Aspinall
2004-03-01
Mention new RPM packages
David Aspinall
2004-03-01
fix syntax
David Aspinall
2004-03-01
Fix
David Aspinall
2004-03-01
Bug in thy-add-menus declaration
David Aspinall
2004-03-01
Update to mention multiple packages, etc.
David Aspinall
2004-02-29
Add emacs-elc and xemacs-elc sub-packages.
David Aspinall
2004-02-29
Add -q to stop site packages loading during compile
David Aspinall
2004-02-29
Beginnings of parsescript support
David Aspinall
2004-02-29
Tweak text. Allow choice of Emacs versions, and to work if PG already loaded.
David Aspinall
2004-02-29
Add man page, remove ps file from distrib.
David Aspinall
2004-02-29
Updated.
David Aspinall
2004-02-29
Update.
David Aspinall
2004-02-29
Update web addr
David Aspinall
2004-02-29
New files.
David Aspinall
2004-02-29
Renamed file
David Aspinall
2004-02-29
Test cases for Coq indentation.
David Aspinall
2004-02-29
Tweaks for install, compiling x-symbol, etc
David Aspinall
2004-02-29
Add -no-site-file to batch xemacs.
David Aspinall
2004-02-29
Add --emacs options
David Aspinall
2004-02-28
Split install-elisp into separate targets for RPM
David Aspinall
2004-02-28
Expand: add install targets, editing proofgeneral script, dealing with emacs ...
David Aspinall
2004-02-28
Fix paths
David Aspinall
2004-02-28
Robustify (add usage and version info)
David Aspinall
2004-02-28
Updated.
David Aspinall
2004-02-28
Extend notes.
David Aspinall
2004-02-28
Note about desktop integration
David Aspinall
2004-02-28
New files.
David Aspinall
2004-02-28
Update desktop support to freedesktop.org standards.
David Aspinall
2004-02-28
Deleted file
David Aspinall
2004-02-28
New files.
David Aspinall
2004-02-28
*** empty log message ***
David Aspinall
2004-02-28
Fix loc
David Aspinall
2004-02-28
New files.
David Aspinall
2004-02-28
New files.
David Aspinall
2004-02-28
New files.
David Aspinall
2004-02-28
Updates of X-Symbol mode text
David Aspinall
2004-02-28
Comments.
David Aspinall
[next]