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
Commit message (
Expand
)
Author
Age
*
Document Make check
David Aspinall
2013-07-05
*
make warnings non-fatal for normal compilation to fix #458, use
Hendrik Tews
2013-05-22
*
fix overriding distclean target
Hendrik Tews
2013-01-15
*
removal of backup files (*~) moved to make distclean
Hendrik Tews
2013-01-15
*
support DESTDIR in make install
Hendrik Tews
2012-03-05
*
Extend list of provers we compile for
David Aspinall
2012-02-07
*
Note about make -j for parallel compilation
David Aspinall
2012-01-10
*
clean: clean profile and test output
David Aspinall
2010-10-10
*
Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs)
David Aspinall
2010-10-06
*
Fix mmm path
David Aspinall
2010-08-27
*
Remove obsolete provers
David Aspinall
2010-08-25
*
Fix compile errors, update tags
David Aspinall
2010-08-16
*
Prevent warning on cl functions (cl functions called at runtime
David Aspinall
2009-09-16
*
Default target: dont edit scripts
David Aspinall
2009-09-15
*
Be strict about compile warnings
David Aspinall
2009-09-15
*
Remove warnings in batch compile about functions possibly undefined at
David Aspinall
2009-09-08
*
Don't try to compile obsolete twelf Emacs code.
David Aspinall
2009-09-07
*
Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...
David Aspinall
2009-03-10
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Remove duplicate default target. Add doc for EMACS setting egs.
David Aspinall
2008-01-31
*
Ignore errors compiling maths-menu.el (for XEmacs 21.4)
David Aspinall
2008-01-29
*
Updated.
David Aspinall
2008-01-15
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Ignore errors in bytecomp
David Aspinall
2007-12-14
*
Let broken compilation proceed for now
David Aspinall
2007-12-14
*
Be stricter about byte compilation: compile separately and halt on errors
David Aspinall
2007-12-14
*
Clarify error messages during compile
David Aspinall
2007-12-14
*
Updated.
David Aspinall
2007-12-12
*
Fix typo.
David Aspinall
2007-12-09
*
Comments.
David Aspinall
2007-12-09
*
Choose Emacs instead of XEmacs
David Aspinall
2007-03-04
*
Note on sudo and cp -p clash
David Aspinall
2007-02-27
*
removed obsolete references to 'isa';
Makarius Wenzel
2006-12-07
*
Fix typo.
David Aspinall
2006-09-22
*
Packaging fixes: put isar/interface in right place; install examples and doc ...
David Aspinall
2006-09-22
*
Cleanup makefiles
David Aspinall
2006-08-28
*
Cleanup makefiles
David Aspinall
2006-08-28
*
Detect EMACS setting.
David Aspinall
2006-05-26
*
Make install-bin also install Isabelle and Lego scripts
David Aspinall
2005-10-04
*
Fix distclean to remove x-symbol elc files
David Aspinall
2005-07-15
*
Add lib to elisp dirs
David Aspinall
2004-08-25
*
Edit PGHOMEDEFAULT rather than PGHOME.
David Aspinall
2004-06-04
*
Note about bad pgscripts editing
David Aspinall
2004-04-17
*
Fix info install
David Aspinall
2004-03-02
*
Oops. Fix DEST_PREFIX mistake in paths.
David Aspinall
2004-03-02
*
Updated.
David Aspinall
2004-03-01
*
Fix cleanpgscripts
David Aspinall
2004-03-01
*
Comment.
David Aspinall
2004-03-01
*
Tweak desktop integration; add application-registry.
David Aspinall
2004-03-01
*
Tweaks for install, compiling x-symbol, etc
David Aspinall
2004-02-29
[next]