Mercurial Mercurial > repos > isabelle / diff
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 26688 6a91e368590d
parent 26583 9f81ab1b7b64
child 26735 39be3c7e643a 
--- a/src/HOL/IsaMakefile	Wed Apr 16 17:40:43 2008 +0200
+++ b/src/HOL/IsaMakefile	Wed Apr 16 17:40:59 2008 +0200
@@ -778,7 +778,7 @@
 
 TLA-Memory: TLA $(LOG)/TLA-Memory.gz
 
-$(LOG)/TLA-Memory.gz: $(OUT)/TLA TLA/Memory/MIParameters.thy \
+$(LOG)/TLA-Memory.gz: $(OUT)/TLA \
   TLA/Memory/MemClerk.thy TLA/Memory/MemClerkParameters.thy \
   TLA/Memory/Memory.thy TLA/Memory/MemoryImplementation.thy \
   TLA/Memory/MemoryParameters.thy TLA/Memory/ProcedureInterface.thy \
isabelle