Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 13875 12997e3ddd8d
parent 13873 f9f49a1ec0f2
child 13879 92c0973ac730
equal deleted inserted replaced
13874:0da2141606c6 13875:12997e3ddd8d 
   294 
   294 
   295 HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz
 
   295 HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz
 
   296 
   296 
   297 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \
 
   297 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \
 
   298   Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
 
   298   Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
 
   299   Hoare/Pointers.thy Hoare/Pointer_Examples.thy Hoare/ROOT.ML \
 
   299   Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
 
   300   Hoare/ExamplesAbort.thy Hoare/hoareAbort.ML Hoare/HoareAbort.thy
 
   300   Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
 
       
   301   Hoare/hoareAbort.ML Hoare/HoareAbort.thy
 
   301 	@$(ISATOOL) usedir $(OUT)/HOL Hoare
 
   302 	@$(ISATOOL) usedir $(OUT)/HOL Hoare
 
   302 
   303 
   303 
   304 
   304 ## HOL-HoareParallel
 
   305 ## HOL-HoareParallel
 
   305 
   306
isabelle