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.
restored the target HOL-Complex-Import
authorpaulson
Tue, 19 Apr 2005 13:34:50 +0200
changeset 15771 08cc20626a0f
parent 15770 90b6433c6093
child 15772 949204e73081
restored the target HOL-Complex-Import
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Apr 19 11:40:23 2005 +0200
+++ b/src/HOL/IsaMakefile	Tue Apr 19 13:34:50 2005 +0200
@@ -15,6 +15,7 @@
   HOL-AxClasses \
   HOL-Bali \
   HOL-Complex-ex \
+  HOL-Complex-Import \
   HOL-CTL \
   HOL-Extraction \
       HOL-Complex-HahnBanach \
@@ -43,7 +44,6 @@
   HOL-W0 \
   HOL-ex
     # ^ this is the sort position
-      ####lcp temporary####HOL-Complex-Import \
 
 all: test images
isabelle