# HG changeset patch
# User haftmann
# Date 1129878522 -7200
# Node ID 48ec47217fe25f58c2afd922c865ebffaa63a299
# Parent  68988fd2fd27baec807c83782d4b8b93e2a9b1be
added default distinfo.mak

diff -r 68988fd2fd27 -r 48ec47217fe2 Admin/website/conf/distinfo.mak
--- /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