Admin/website/build/localconf.sun.template.mak
Tue, 04 Oct 2005 08:49:24 +0200 haftmann improved dependency build
Tue, 27 Sep 2005 17:03:54 +0200 haftmann slight corrections
Tue, 27 Sep 2005 15:30:37 +0200 haftmann website preparation for Isabelle2005
Wed, 21 Sep 2005 16:37:37 +0200 haftmann unify dist and main
Wed, 08 Jun 2005 14:54:39 +0200 haftmann added file acces rights handling
Mon, 06 Jun 2005 15:09:47 +0200 haftmann integrated MacOS X installation instructions
Sun, 05 Jun 2005 15:04:23 +0200 haftmann symlink problem hopefully solved
Sat, 04 Jun 2005 22:29:16 +0200 haftmann added library symlink
Sat, 04 Jun 2005 22:17:27 +0200 haftmann added library symlink
Sat, 04 Jun 2005 20:46:02 +0200 haftmann (temporary remove, forgotten the -b flag...)
Sat, 04 Jun 2005 10:26:08 +0200 haftmann added new website
less more (0) tip