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.
fixed HOL-Statespace for case-sensitive file-system;
authorwenzelm
Wed, 24 Oct 2007 19:21:39 +0200
changeset 25173 7e1f197a36c5
parent 25172 ad25033f9ca4
child 25174 d70d6dbc3a60
fixed HOL-Statespace for case-sensitive file-system;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Oct 24 19:21:38 2007 +0200
+++ b/src/HOL/IsaMakefile	Wed Oct 24 19:21:39 2007 +0200
@@ -852,7 +852,7 @@
 
 $(LOG)/HOL-Statespace.gz: $(OUT)/HOL Statespace/DistinctTreeProver.thy \
   Statespace/StateFun.thy Statespace/StateSpaceLocale.thy \
-  Statespace/StateSpaceSyntax.thy StateSpace/StateSpaceEx.thy \
+  Statespace/StateSpaceSyntax.thy Statespace/StateSpaceEx.thy \
   Statespace/distinct_tree_prover.ML Statespace/state_space.ML \
   Statespace/state_fun.ML \
   Statespace/document/root.tex
isabelle