index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.devel
Commit message (
Expand
)
Author
Age
*
Instead, remove doc/ from top-level of distdir.
David Aspinall
1999-11-22
*
*Do* deref links again when copying doc.
David Aspinall
1999-11-22
*
Don't deref links when copying doc, avoid error during export.
David Aspinall
1999-11-22
*
Added link during distdocs build to front page image
David Aspinall
1999-11-22
*
Removed spurious etags target (tags already works better)
David Aspinall
1999-11-22
*
Remove Makefile.xemacs from distrib.
David Aspinall
1999-11-17
*
Split download page into three parts.
David Aspinall
1999-11-17
*
-f to make rm quiet if no args.
David Aspinall
1999-11-15
*
devel.clean : use find to clean all subdirs.
David Aspinall
1999-11-14
*
Add demoisa dir to makefiles.
David Aspinall
1999-11-14
*
clean: Remove autosaves and cvs server temporary files.
David Aspinall
1999-11-13
*
Added ProofGeneral.texi to tags target.
David Aspinall
1999-10-25
*
Fixed PRERELEASE_PREFIX.
David Aspinall
1999-10-07
*
In case Makefile.devel changes, update in make process is not good enough.
David Aspinall
1999-10-06
*
Next version will be 3.0 cvs update
David Aspinall
1999-10-06
*
Automatically updated ChangeLog when making devel release
David Aspinall
1999-09-30
*
Added cvs update to release target.
David Aspinall
1999-09-21
*
Altered to use craro since scar now broken.
David Aspinall
1999-09-13
*
Added plastic to elisp dirs and cleanup backup files.
David Aspinall
1999-09-13
*
Made a release (ProofGeneral.spec, proof-site.el, download.phtml)
David Aspinall
1999-09-13
*
Typo (I think)
David Aspinall
1999-08-27
*
Added more macros to generalise Makefile
David Aspinall
1999-08-27
*
Fixed version variable name.
David Aspinall
1999-08-24
*
enabled isar/;
Makarius Wenzel
1999-08-24
*
Changes for 2.3 series pre-releases.
David Aspinall
1999-08-23
*
Removed .eps.gz file from distrib to make it much smaller
David Aspinall
1999-08-19
*
Updated for web pages, now only low-priority.
David Aspinall
1999-08-17
*
Added prereltag.txt and extra link for latest srpm.
David Aspinall
1999-07-22
*
Fix rpm building for 3.0.1 version of RPM.
David Aspinall
1999-07-01
*
topdir stuff broken, to be fixed.
David Aspinall
1999-06-30
*
Removed distinstall, doesn't work for temporary server.
David Aspinall
1999-06-30
*
Set CVSROOT for remote cvs.
David Aspinall
1999-06-28
*
Changed doc targets during build
David Aspinall
1999-06-28
*
Remove temporary file
proofgen
1999-06-28
*
Added ChangeLog to dist area.
proofgen
1999-06-24
*
Updates for new web pages, todo list.
David Aspinall
1999-06-24
*
Fixes for XEmacs 21.1
David Aspinall
1999-06-15
*
Dont include plastic/isar in main distribution.
David Aspinall
1999-06-07
*
Comments
David Aspinall
1999-06-07
*
Added devel.etags target
David Aspinall
1999-02-01
*
Instructions how to hack another CVS tag.
David Aspinall
1998-12-17
*
Removed .cvsignore files from distribution.
David Aspinall
1998-12-17
*
towards prerelease 2.1
Thomas Kleymann
1998-12-16
*
Remove isa/wip.ML from distrib and web.
David Aspinall
1998-11-25
*
Removed spurious fi
David Aspinall
1998-11-10
*
Added some support for making a full release. Must edit html by hand though.
David Aspinall
1998-11-10
*
release now should make links to -latest names for fixed URLs. (needs testing)
David Aspinall
1998-11-03
*
Removed duplicate distclean target
David Aspinall
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
[next]