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
*
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
*
Split install-elisp into separate targets for RPM
David Aspinall
2004-02-28
*
Expand: add install targets, editing proofgeneral script, dealing with emacs ...
David Aspinall
2004-02-28
*
Update email and web addresses
David Aspinall
2004-02-08
*
clean does distclean for x-symbol
David Aspinall
2003-03-05
*
Add mmm. Ignore byte compile errors
David Aspinall
2003-03-03
*
Line for Emacs compile
David Aspinall
2003-02-15
*
Updated.
David Aspinall
2002-11-28
*
Simplify byte comp, notes of brokenness.
David Aspinall
2002-08-29
*
Delete rogue elcs
David Aspinall
2001-09-04
*
Name change af2 -> phox
David Aspinall
2000-12-07
*
Add acl2 and twelf to elisp dirs
David Aspinall
2000-09-29
*
Added af2 and twelf to elisp dirs.
David Aspinall
2000-09-13
*
Clean also deletes CVS temporaries (naughty, should be in devel.clean really)
David Aspinall
2000-05-26
*
Add target for editing perl scripts too
David Aspinall
2000-05-25
*
Be more generous if bash is not found.
David Aspinall
2000-05-16
*
Added scripts target to edit Isabelle scripts, patch from Mike Squire.
David Aspinall
2000-05-16
*
EMACS -> BATCHEMACS var
David Aspinall
2000-05-09
*
make clean removes Emacs backups. Probably safe...
David Aspinall
2000-05-05
*
Add hol98 to elisp dirs.
David Aspinall
2000-03-13
*
Add *.xemacs targets
David Aspinall
1999-11-17
*
Add demoisa dir to makefiles.
David Aspinall
1999-11-14
*
Added plastic to elisp dirs and cleanup backup files.
David Aspinall
1999-09-13
*
enabled isar;
Makarius Wenzel
1999-08-24
*
clean does doc/clean too.
David Aspinall
1998-11-25
*
Changed <target>.devel into devel.<target> cos I find it easier to think of
David Aspinall
1998-10-29
*
Comments
David Aspinall
1998-10-27
*
Added generic target <develtarget>.devel
David Aspinall
1998-10-27
[next]