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
|