Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added target for proof term sessions (those that need -p 2)
authorkleing
Sat, 29 Sep 2007 10:40:12 +0200
changeset 24754 c6dd5afed3d1
parent 24753 88e34d7af6e3
child 24755 28a255fcc939
Added target for proof term sessions (those that need -p 2)
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sat Sep 29 10:04:52 2007 +0200
+++ b/src/HOL/IsaMakefile	Sat Sep 29 10:40:12 2007 +0200
@@ -48,6 +48,8 @@
   HOL-ZF
     # ^ this is the sort position
 
+proofterms: HOL HOL-Extraction HOL-Lambda
+
 all: test images
isabelle