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 (
Collapse
)
Author
Age
*
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
|
|
|
|
|
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
*
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
|
|
|
|
|
|
|
o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
|
|
|
|
reserved for goals.
*
Added install to distall target
David Aspinall
1998-10-29
|
*
Added distall target
David Aspinall
1998-10-29
|
*
todo file was specifically excluded from distribution area
David Aspinall
1998-10-29
|
*
Added note about what to do if releaseall fails
David Aspinall
1998-10-29
|
*
Added tags target
David Aspinall
1998-10-29
|
*
Removed junk from cvs merge
David Aspinall
1998-10-27
|
*
Fixup repository mess
David Aspinall
1998-10-27
|
*
Renamed file
David Aspinall
1998-10-27
|
*
fixed a bug in distinstall
Thomas Kleymann
1998-10-22
|
*
modified local installation procedure
Thomas Kleymann
1998-10-21
|
*
Added tar variable. Use make TAR=gnutar <args> on local Suns.
David Aspinall
1998-10-20
|
*
Changed dcsinstall into distinstall. Added comments.
David Aspinall
1998-10-20
|
*
dcsinstall copies from DISTBUILDIR instead for local only release
David Aspinall
1998-10-20
|
*
Added dcsinstall target.
David Aspinall
1998-10-20
|
*
Added word new to release message
David Aspinall
1998-10-14
|
*
Added developer's distribution, link to master todo list, images target
David Aspinall
1998-10-14
|
*
Added cleanup after release.
David Aspinall
1998-10-13
|
[next]