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/Pure/IsaMakefile
changeset 40234 39af96cc57cb
parent 39557 fe5722fce758
child 40393 2bb7ec08574a 
--- a/src/Pure/IsaMakefile	Thu Oct 28 21:52:33 2010 +0200
+++ b/src/Pure/IsaMakefile	Thu Oct 28 21:59:01 2010 +0200
@@ -20,6 +20,7 @@
 ## Pure
 
 BOOTSTRAP_FILES = 					\
+  General/exn.ML					\
   ML-Systems/bash.ML 					\
   ML-Systems/compiler_polyml-5.2.ML			\
   ML-Systems/compiler_polyml-5.3.ML			\
@@ -73,7 +74,6 @@
   General/basics.ML					\
   General/binding.ML					\
   General/buffer.ML					\
-  General/exn.ML					\
   General/file.ML					\
   General/graph.ML					\
   General/heap.ML					\
isabelle