--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/conf/distinfo.mak Fri Oct 21 09:08:42 2005 +0200
@@ -0,0 +1,5 @@
+# this is a generated file - do not edit!
+
+DISTNAME=Isabelle2005
+DISTIDENT=Isabelle2005
+DISTBASE=/home/proj/isabelle/dist/dist-Isabelle2005