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.
Admin/Benchmarks/IsaMakefile
changeset 44640 3e666dcdcd32
parent 33696 2c7c79ca6c23 
--- a/Admin/Benchmarks/IsaMakefile	Thu Sep 01 16:46:07 2011 +0200
+++ b/Admin/Benchmarks/IsaMakefile	Thu Sep 01 16:58:03 2011 +0200
@@ -33,7 +33,7 @@
 HOL-record: HOL $(LOG)/HOL-record.gz
 
 $(LOG)/HOL-record.gz: $(OUT)/HOL HOL-record/ROOT.ML	\
-   HOL-record/RecordBenchmark.thy
+   HOL-record/Record_Benchmark.thy
 	@$(ISABELLE_TOOL) usedir -s record $(OUT)/HOL HOL-record
isabelle