| Fri, 21 Oct 2005 09:54:03 +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, 04 Oct 2005 08:49:24 +0200 | haftmann | improved dependency build | file | diff | annotate |
| Tue, 27 Sep 2005 17:03:54 +0200 | haftmann | slight corrections | file | diff | annotate |
| Tue, 27 Sep 2005 15:30:37 +0200 | haftmann | website preparation for Isabelle2005 | file | diff | annotate |
| Wed, 21 Sep 2005 16:37:37 +0200 | haftmann | unify dist and main | file | diff | annotate |
| Wed, 08 Jun 2005 14:54:39 +0200 | haftmann | added file acces rights handling | file | diff | annotate |
| Mon, 06 Jun 2005 15:09:47 +0200 | haftmann | integrated MacOS X installation instructions | file | diff | annotate |
| Sun, 05 Jun 2005 15:04:23 +0200 | haftmann | symlink problem hopefully solved | file | diff | annotate |
| Sat, 04 Jun 2005 22:29:16 +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 20:46:02 +0200 | haftmann | (temporary remove, forgotten the -b flag...) | file | diff | annotate |
| Sat, 04 Jun 2005 10:26:08 +0200 | haftmann | added new website | file | diff | annotate |