aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Bump version from 4.4.1~pre to 4.5-gitGravatar Erik Martin-Dorel2018-08-22
* Remove bin/proofgeneral and Update Makefiles accordingly.Gravatar Erik Martin-Dorel2017-04-25
* A first pass at converting from CVS to git. (#127)Gravatar zhenya10072016-12-31
* Bump version number for next release cycle.Gravatar Erik Martin-Dorel2016-09-19
* More version number fixesGravatar Clément Pit--Claudel2016-02-13
* Summary: remove non-BSD cp argGravatar David Aspinall2015-03-13
* Remove link in tar file.Gravatar David Aspinall2013-05-31
* Run make check before releaseGravatar David Aspinall2013-05-23
* Add ProofGeneral.jpg to distributionGravatar David Aspinall2013-05-22
* Updates for PG 4.3Gravatar David Aspinall2012-10-19
* Add setting for rcs2log pathGravatar David Aspinall2012-08-14
* Update for 4.2 cycleGravatar David Aspinall2011-10-13
* Remove some non-existent ignored filesGravatar David Aspinall2011-10-03
* Tweak to Emacs package buildingGravatar David Aspinall2011-09-16
* Fix Make pkg in case package name same as release name.Gravatar David Aspinall2011-04-28
* Add rcs2log options suggested by HendrikGravatar David Aspinall2011-04-28
* set a non-temporary email addressGravatar Hendrik Tews2011-01-14
* Add new CVS users to DEVELOPERS list.Gravatar David Aspinall2011-01-14
* CleanupGravatar David Aspinall2010-10-11
* Update to 4.1preGravatar David Aspinall2010-10-10
* CommentsGravatar David Aspinall2010-10-04
* Target to run an instanceGravatar David Aspinall2010-08-27
* Target to build an Emacs packageGravatar David Aspinall2010-08-25
* Remove defunct RPM linkGravatar David Aspinall2010-08-23
* Separate profiling from testingGravatar David Aspinall2010-08-03
* Show test log in case of failureGravatar David Aspinall2010-08-03
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
* superdirGravatar David Aspinall2009-09-21
* Fix doc copy/clean.Gravatar David Aspinall2009-09-21
* Only distribute info file, not pdfGravatar David Aspinall2009-09-21
* Add doc files and .elcs to distributed tarballGravatar David Aspinall2009-09-21
* tar -> $(TAR)Gravatar David Aspinall2009-09-21
* distcompile: don't ignore errors during compileGravatar David Aspinall2009-09-15
* Remove devel. from testall targetGravatar David Aspinall2009-09-08
* Add tidy target (cleans whitespace)Gravatar David Aspinall2009-09-05
* Hide echoGravatar David Aspinall2009-09-04
* Clean up IGNOREDFILES a bitGravatar David Aspinall2009-08-31
* Remove obsolete file mentionGravatar David Aspinall2009-08-20
* Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...Gravatar David Aspinall2009-03-10
* merge develdownload.html with devel.htmlGravatar David Aspinall2008-12-05
* Updated.Gravatar David Aspinall2008-12-05
* Updates for 4.0Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Move to 3.7.1 pre-relGravatar David Aspinall2008-02-03
* Updated.Gravatar David Aspinall2008-01-31
* Remove more zipGravatar David Aspinall2008-01-30
* Remove zip from distribution, only use tgzGravatar David Aspinall2008-01-30
* Missing quoteGravatar David Aspinall2008-01-25
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-25 08:28:49 +0000