aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
2020-12-19include compile tests in CI elisp compilationHendrik Tews
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-08-22Bump version from 4.4.1~pre to 4.5-gitErik Martin-Dorel
2017-04-25Remove bin/proofgeneral and Update Makefiles accordingly.Erik Martin-Dorel
2016-12-31A first pass at converting from CVS to git. (#127)zhenya1007
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-02-13More version number fixesClément Pit--Claudel
2015-03-13Summary: remove non-BSD cp argDavid Aspinall
2013-05-31Remove link in tar file.David Aspinall
2013-05-23Run make check before releaseDavid Aspinall
2013-05-22Add ProofGeneral.jpg to distributionDavid Aspinall
2012-10-19Updates for PG 4.3David Aspinall
2012-08-14Add setting for rcs2log pathDavid Aspinall
2011-10-13Update for 4.2 cycleDavid Aspinall
2011-10-03Remove some non-existent ignored filesDavid Aspinall
2011-09-16Tweak to Emacs package buildingDavid Aspinall
2011-04-28Fix Make pkg in case package name same as release name.David Aspinall
2011-04-28Add rcs2log options suggested by HendrikDavid Aspinall
2011-01-14set a non-temporary email addressHendrik Tews
2011-01-14Add new CVS users to DEVELOPERS list.David Aspinall
2010-10-11CleanupDavid Aspinall
2010-10-10Update to 4.1preDavid Aspinall
2010-10-04CommentsDavid Aspinall
2010-08-27Target to run an instanceDavid Aspinall
2010-08-25Target to build an Emacs packageDavid Aspinall
2010-08-23Remove defunct RPM linkDavid Aspinall
2010-08-03Separate profiling from testingDavid Aspinall
2010-08-03Show test log in case of failureDavid Aspinall
2010-08-03Resurrect autotest frameworkDavid Aspinall
2009-09-21superdirDavid Aspinall
2009-09-21Fix doc copy/clean.David Aspinall
2009-09-21Only distribute info file, not pdfDavid Aspinall
2009-09-21Add doc files and .elcs to distributed tarballDavid Aspinall
2009-09-21tar -> $(TAR)David Aspinall
2009-09-15distcompile: don't ignore errors during compileDavid Aspinall
2009-09-08Remove devel. from testall targetDavid Aspinall
2009-09-05Add tidy target (cleans whitespace)David Aspinall
2009-09-04Hide echoDavid Aspinall
2009-08-31Clean up IGNOREDFILES a bitDavid Aspinall
2009-08-20Remove obsolete file mentionDavid Aspinall
2009-03-10Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...David Aspinall
2008-12-05merge develdownload.html with devel.htmlDavid Aspinall
2008-12-05Updated.David Aspinall
2008-08-03Updates for 4.0David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-03Move to 3.7.1 pre-relDavid Aspinall
2008-01-31Updated.David Aspinall
2008-01-30Remove more zipDavid Aspinall
2008-01-30Remove zip from distribution, only use tgzDavid Aspinall
2008-01-25Missing quoteDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:46:25 +0000