# HG changeset patch
# User kleing
# Date 1191055212 -7200
# Node ID c6dd5afed3d1391a43671b843d8f4a33cc96cee7
# Parent  88e34d7af6e38706ae0f2ba5ba7851e31ab62b06
Added target for proof term sessions (those that need -p 2)

diff -r 88e34d7af6e3 -r c6dd5afed3d1 src/HOL/IsaMakefile
--- 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