changeset 30423 | 6baef860dfa6 |
parent 30297 | 41957d25a8b6 |
child 30710 | 77d4b1284d4c |
--- a/Admin/Mercurial/cvsids Tue Mar 10 21:43:19 2009 +0100 +++ b/Admin/Mercurial/cvsids Tue Mar 10 22:27:32 2009 +0100 @@ -1,5 +1,6 @@ Identifiers of some old CVS file versions ========================================= -src/Pure/type.ML 1.65 0d984ee030a1 +src/Pure/type.ML 1.65 0d984ee030a1 +src/Pure/General/file.ML 1.18 6cdd6a8da9b9