Wed, 03 May 2006 17:41:28 +0200 |
haftmann |
added world map
|
file |
diff |
annotate
|
Tue, 02 May 2006 16:19:53 +0200 |
haftmann |
added obfuscation for mails
|
file |
diff |
annotate
|
Wed, 26 Apr 2006 14:19:13 +0200 |
haftmann |
fixed silly symlink bug
|
file |
diff |
annotate
|
Sat, 08 Apr 2006 22:12:02 +0200 |
haftmann |
made symlink relative
|
file |
diff |
annotate
|
Sat, 08 Apr 2006 22:10:58 +0200 |
haftmann |
made symlink relative
|
file |
diff |
annotate
|
Tue, 28 Mar 2006 10:13:51 +0200 |
haftmann |
some internal cleanup
|
file |
diff |
annotate
|
Mon, 21 Nov 2005 10:44:14 +0100 |
haftmann |
fixed some inconveniencies in website
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 10:32:59 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 10:32:04 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 10:27:02 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 10:21:38 +0200 |
haftmann |
substantially improved integration of website into distribution framework
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 09:54:03 +0200 |
haftmann |
towards an improved website/makedist integration
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 09:18:27 +0200 |
haftmann |
towards an improved website/makedist integration
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 09:05:52 +0200 |
haftmann |
towards an improved website/makedist integration
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 09:05:52 +0200 |
haftmann |
towards an improved website/makedist integration
|
file |
diff |
annotate
|
Wed, 19 Oct 2005 16:32:09 +0200 |
haftmann |
slight improvements for website
|
file |
diff |
annotate
|
Tue, 04 Oct 2005 09:19:17 +0200 |
haftmann |
support for setting local permissions
|
file |
diff |
annotate
|
Tue, 27 Sep 2005 15:30:37 +0200 |
haftmann |
website preparation for Isabelle2005
|
file |
diff |
annotate
|
Fri, 23 Sep 2005 17:06:23 +0200 |
haftmann |
mkdir -p for symlinks
|
file |
diff |
annotate
|
Wed, 21 Sep 2005 16:37:37 +0200 |
haftmann |
unify dist and main
|
file |
diff |
annotate
|
Thu, 09 Jun 2005 11:07:37 +0200 |
haftmann |
added chmod for packages
|
file |
diff |
annotate
|
Wed, 08 Jun 2005 14:54:39 +0200 |
haftmann |
added file acces rights handling
|
file |
diff |
annotate
|
Mon, 06 Jun 2005 14:11:05 +0200 |
haftmann |
minor refinements
|
file |
diff |
annotate
|
Sun, 05 Jun 2005 14:58:16 +0200 |
haftmann |
better symlink handling
|
file |
diff |
annotate
|
Sun, 05 Jun 2005 14:33:02 +0200 |
haftmann |
a more spohisticated symlink handling
|
file |
diff |
annotate
|
Sun, 05 Jun 2005 14:33:02 +0200 |
haftmann |
a more spohisticated symlink handling
|
file |
diff |
annotate
|
Sat, 04 Jun 2005 22:17:27 +0200 |
haftmann |
added library symlink
|
file |
diff |
annotate
|
Sat, 04 Jun 2005 22:17:27 +0200 |
haftmann |
added library symlink
|
file |
diff |
annotate
|
Sat, 04 Jun 2005 10:26:08 +0200 |
haftmann |
added new website
|
file |
diff |
annotate
|