aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Remove bin/proofgeneral and Update Makefiles accordingly.Gravatar Erik Martin-Dorel2017-04-25
* Add easycrypt and twelf to MakefileGravatar Clément Pit--Claudel2017-02-25
* fix icon installation and add 64 and 128 square icons (fixes #141)Gravatar Hendrik Tews2017-01-17
* fix parallel build and other issues in Makefile (fixes #130)Gravatar Hendrik Tews2016-12-14
* Makefile: don't depend on pwdGravatar Clément Pit--Claudel2016-09-28
* Disable parallel build, to workaround the issue raised in PR #112.Gravatar Erik Martin-Dorel2016-09-23
* Summary: Revert change to default EMACSGravatar David Aspinall2015-03-13
* Summary: Build on MacGravatar David Aspinall2015-03-05
* Document Make checkGravatar David Aspinall2013-07-05
* make warnings non-fatal for normal compilation to fix #458, useGravatar Hendrik Tews2013-05-22
* fix overriding distclean targetGravatar Hendrik Tews2013-01-15
* removal of backup files (*~) moved to make distcleanGravatar Hendrik Tews2013-01-15
* support DESTDIR in make installGravatar Hendrik Tews2012-03-05
* Extend list of provers we compile forGravatar David Aspinall2012-02-07
* Note about make -j for parallel compilationGravatar David Aspinall2012-01-10
* clean: clean profile and test outputGravatar David Aspinall2010-10-10
* Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs)Gravatar David Aspinall2010-10-06
* Fix mmm pathGravatar David Aspinall2010-08-27
* Remove obsolete proversGravatar David Aspinall2010-08-25
* Fix compile errors, update tagsGravatar David Aspinall2010-08-16
* Prevent warning on cl functions (cl functions called at runtimeGravatar David Aspinall2009-09-16
* Default target: dont edit scriptsGravatar David Aspinall2009-09-15
* Be strict about compile warningsGravatar David Aspinall2009-09-15
* Remove warnings in batch compile about functions possibly undefined atGravatar David Aspinall2009-09-08
* Don't try to compile obsolete twelf Emacs code.Gravatar David Aspinall2009-09-07
* Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...Gravatar David Aspinall2009-03-10
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Remove duplicate default target. Add doc for EMACS setting egs.Gravatar David Aspinall2008-01-31
* Ignore errors compiling maths-menu.el (for XEmacs 21.4)Gravatar David Aspinall2008-01-29
* Updated.Gravatar David Aspinall2008-01-15
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Ignore errors in bytecompGravatar David Aspinall2007-12-14
* Let broken compilation proceed for nowGravatar David Aspinall2007-12-14
* Be stricter about byte compilation: compile separately and halt on errorsGravatar David Aspinall2007-12-14
* Clarify error messages during compileGravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-12
* Fix typo.Gravatar David Aspinall2007-12-09
* Comments.Gravatar David Aspinall2007-12-09
* Choose Emacs instead of XEmacsGravatar David Aspinall2007-03-04
* Note on sudo and cp -p clashGravatar David Aspinall2007-02-27
* removed obsolete references to 'isa';Gravatar Makarius Wenzel2006-12-07
* Fix typo.Gravatar David Aspinall2006-09-22
* Packaging fixes: put isar/interface in right place; install examples and doc ...Gravatar David Aspinall2006-09-22
* Cleanup makefilesGravatar David Aspinall2006-08-28
* Cleanup makefilesGravatar David Aspinall2006-08-28
* Detect EMACS setting.Gravatar David Aspinall2006-05-26
* Make install-bin also install Isabelle and Lego scriptsGravatar David Aspinall2005-10-04
* Fix distclean to remove x-symbol elc filesGravatar David Aspinall2005-07-15
* Add lib to elisp dirsGravatar David Aspinall2004-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-19 07:16:40 +0000