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.
repaired line ending
authorhaftmann
Thu, 01 Jul 2010 08:12:55 +0200
changeset 37662 35c060043a5a
parent 37661 f6b592f2aca4
child 37663 f2c98b8c0c5c
repaired line ending
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Jul 01 08:12:40 2010 +0200
+++ b/src/HOL/IsaMakefile	Thu Jul 01 08:12:55 2010 +0200
@@ -398,7 +398,7 @@
   $(SRC)/Tools/float.ML Library/Abstract_Rat.thy Library/AssocList.thy	\
   Library/BigO.thy Library/Binomial.thy Library/Bit.thy			\
   Library/Boolean_Algebra.thy Library/Cardinality.thy			\
-  Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy	
+  Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy	\
   Library/Code_Integer.thy Library/ContNotDenum.thy			\
   Library/Continuity.thy Library/Convex.thy Library/Countable.thy	\
   Library/Diagonalize.thy Library/Dlist.thy Library/Efficient_Nat.thy	\
isabelle