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
*
Changed to build gif files for text logo.
David Aspinall
1998-10-09
*
Changed banner to use gif files for text.
David Aspinall
1998-10-09
*
Changed banner to use gif files for text.
David Aspinall
1998-10-09
*
Deleted files.
David Aspinall
1998-10-09
*
No longer needed.
David Aspinall
1998-10-09
*
After having spent more than a day on implementing a package for
Thomas Kleymann
1998-10-09
*
Validator fix
David Aspinall
1998-10-08
*
Better summary line
David Aspinall
1998-10-08
*
Added untag target for rebuilding on same day.
David Aspinall
1998-10-08
*
Validator fixes
David Aspinall
1998-10-08
*
Fixed Validator URLs
David Aspinall
1998-10-08
*
Changed 'ln -sf' to 'rm ; ln' because link got put into directory.
David Aspinall
1998-10-08
*
Added fixup to specfile because dcs.ed has old RPM installed.
David Aspinall
1998-10-08
*
Now edits full version of name of release in download.html
David Aspinall
1998-10-08
*
Set version tag for release.
David Aspinall
1998-10-08
*
Fixed typo.
David Aspinall
1998-10-08
*
Added auto checking for Proofgeneral.spec.
David Aspinall
1998-10-08
*
Removed hyphen from prerelease name.
David Aspinall
1998-10-08
*
Made full prerelease name be name of tar file and RPM file.
David Aspinall
1998-10-08
*
Changed binding for C-c RET
David Aspinall
1998-10-08
*
Added SUPERSONIC category, investigated proof-assert-until-point.
David Aspinall
1998-10-08
*
*** empty log message ***
Thomas Kleymann
1998-10-08
*
Removed check distribution item. Added Isabelle fix.
David Aspinall
1998-10-08
*
removed bra-types and uitp from pre-release message
Thomas Kleymann
1998-10-08
*
Removed images/Makefile from distrib.
David Aspinall
1998-10-08
*
Moved from /usr/lib to /usr/share
David Aspinall
1998-10-08
*
Removed mysterious @ignores around info dir entry.
David Aspinall
1998-10-08
*
Still bad ('cos release is -kv), removed $ from patch.
David Aspinall
1998-10-07
*
Updated for new proof-site.el
David Aspinall
1998-10-07
*
Disabeled remote release
David Aspinall
1998-10-07
*
Removed ssh.dcs.ed.ac.uk from remote release.
David Aspinall
1998-10-07
*
Removed CVS binary item
David Aspinall
1998-10-07
*
Fixup branch
David Aspinall
1998-10-07
*
Fixup branch.
David Aspinall
1998-10-07
*
Added distclean target
David Aspinall
1998-10-07
*
Adjusted so make clean gives clean output from cvs update.
David Aspinall
1998-10-07
*
Disabled tags support for Isabelle.
David Aspinall
1998-10-07
*
Renamed isa-thy-* to thy-*
David Aspinall
1998-10-07
*
Added more documentation.
David Aspinall
1998-10-07
*
Added detection of less than 16 bit colour depth to display 8bit
David Aspinall
1998-10-07
*
Munged name of customization variables so that menus display nicely.
David Aspinall
1998-10-07
*
Removed lego-settings defgroup, changed to lego.
David Aspinall
1998-10-07
*
Removed coq-settings defgroup, changed to coq.
David Aspinall
1998-10-07
*
Added text logos. Menu now appears in screenshot.
David Aspinall
1998-10-07
*
New file to give users/co-developers a chance to see what we have planned.
David Aspinall
1998-10-07
*
Added some notes for Isabelle
David Aspinall
1998-10-07
*
Removed some.
David Aspinall
1998-10-07
*
Rearranged a bit, added some, removed some.
David Aspinall
1998-10-07
*
Found some more...
David Aspinall
1998-10-07
*
Added cvsclean back
David Aspinall
1998-10-07
[next]