aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
2007-12-09More dirs for TAGSDavid Aspinall
2007-11-18fixed spelling;Makarius Wenzel
2007-11-15Fix mail address/name for MakariusDavid Aspinall
2007-10-25Simplify version editing to use DOWNLOADHTMLS and use %{version} in specDavid Aspinall
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-03-03Switch to 3.7preDavid Aspinall
2007-01-20Correct mail domainDavid Aspinall
2006-12-20Remove isa dirDavid Aspinall
2006-09-22Packaging fixes: put isar/interface in right place; install examples and doc ...David Aspinall
2006-08-28Cleanup makefilesDavid Aspinall
2006-08-28Cleanup makefilesDavid Aspinall
2006-08-23Syntax strictitudeDavid Aspinall
2005-09-21Select EMACS based on xemacs if available, otherwise emacsDavid Aspinall
2005-07-15fix tar arg orderDavid Aspinall
2005-05-17Add missing lib/David Aspinall
2005-02-13Comments.David Aspinall
2005-02-13Added simple testing framework (in progress)David Aspinall
2004-12-01Name change of TODO/BUGS filesDavid Aspinall
2004-08-25Hack names of xemacs-elc emacs-elc packages tooDavid Aspinall
2004-08-25Change develdownload.php -> develdownload.htmlDavid Aspinall
2004-08-25Update to version 3.6 pre-releaseDavid Aspinall
2004-08-25Add lib to elisp paths. Name ETAGS program.David Aspinall
2004-04-24Updated.David Aspinall
2004-04-24Update pre-rel tagDavid Aspinall
2004-04-24Fix commentDavid Aspinall
2004-04-16Fix my email addr.David Aspinall
2004-04-06Add -d to first update in tagDavid Aspinall
2004-03-01Comment.David Aspinall
2004-03-01Tweaks to building tar file to include correct files. Remove golive from fak...David Aspinall
2004-02-08Add logupdate target (still not part of default build process)David Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Comments about prereleasetagDavid Aspinall
2004-02-08Clean releasedir after goliveDavid Aspinall
2004-02-08Try to remove link to ProofGeneral from web area.David Aspinall
2004-02-08Tweak goliveDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2004-02-08Tweak RELEASEDIR, GOLIVEDavid Aspinall
2004-02-08Fix golive locDavid Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Fix golive, add some .cvsignore to ignored filesDavid Aspinall
2004-02-08Tune RPMBUILDDavid Aspinall
2004-02-07Remove development distribution.David Aspinall
2004-02-07Updates for moving html out of ProofGeneral dirDavid Aspinall
2004-02-07Updates for moving html out of ProofGeneral dirDavid Aspinall
2004-02-07Add options to tag so devel.untag not neededDavid Aspinall
2004-02-07Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE.David Aspinall
2004-02-07Fix for pserver return code on updateDavid Aspinall
2004-02-07Add Emacs mode tagDavid Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-10-05Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:22:29 +0000