Admin/website/build/project.mak
Mon, 21 Nov 2005 10:44:14 +0100 haftmann fixed some inconveniencies in website
Fri, 21 Oct 2005 10:32:59 +0200 haftmann substantially improved integration of website into distribution framework
Fri, 21 Oct 2005 10:32:04 +0200 haftmann substantially improved integration of website into distribution framework
Fri, 21 Oct 2005 10:27:02 +0200 haftmann substantially improved integration of website into distribution framework
Fri, 21 Oct 2005 10:21:38 +0200 haftmann substantially improved integration of website into distribution framework
Fri, 21 Oct 2005 09:54:03 +0200 haftmann towards an improved website/makedist integration
Fri, 21 Oct 2005 09:18:27 +0200 haftmann towards an improved website/makedist integration
Fri, 21 Oct 2005 09:05:52 +0200 haftmann towards an improved website/makedist integration
Fri, 21 Oct 2005 09:05:52 +0200 haftmann towards an improved website/makedist integration
Wed, 19 Oct 2005 16:32:09 +0200 haftmann slight improvements for website
Tue, 04 Oct 2005 09:19:17 +0200 haftmann support for setting local permissions
Tue, 27 Sep 2005 15:30:37 +0200 haftmann website preparation for Isabelle2005
Fri, 23 Sep 2005 17:06:23 +0200 haftmann mkdir -p for symlinks
Wed, 21 Sep 2005 16:37:37 +0200 haftmann unify dist and main
Thu, 09 Jun 2005 11:07:37 +0200 haftmann added chmod for packages
Wed, 08 Jun 2005 14:54:39 +0200 haftmann added file acces rights handling
Mon, 06 Jun 2005 14:11:05 +0200 haftmann minor refinements
Sun, 05 Jun 2005 14:58:16 +0200 haftmann better symlink handling
Sun, 05 Jun 2005 14:33:02 +0200 haftmann a more spohisticated symlink handling
Sun, 05 Jun 2005 14:33:02 +0200 haftmann a more spohisticated symlink handling
Sat, 04 Jun 2005 22:17:27 +0200 haftmann added library symlink
Sat, 04 Jun 2005 22:17:27 +0200 haftmann added library symlink
Sat, 04 Jun 2005 10:26:08 +0200 haftmann added new website
less more (0) tip