| Sat, 21 Nov 2009 15:49:29 +0100 |
wenzelm |
explicitly mark some legacy freeze operations;
|
changeset |
files
|
| Sat, 21 Nov 2009 14:03:36 +0100 |
wenzelm |
minimal test of current repository version;
|
changeset |
files
|
| Sat, 21 Nov 2009 14:02:55 +0100 |
wenzelm |
slightly longer log tail;
|
changeset |
files
|
| Sat, 21 Nov 2009 17:04:03 +1100 |
kleing |
add explicit platform check to wwwfind tool
|
changeset |
files
|
| Sat, 21 Nov 2009 16:56:53 +1100 |
kleing |
adjusted help text
|
changeset |
files
|
| Sat, 21 Nov 2009 11:47:38 +1100 |
kleing |
wwwfind support currently for Linux only
|
changeset |
files
|
| Fri, 20 Nov 2009 15:29:56 -0800 |
huffman |
make repdef work without (open) option
|
changeset |
files
|
| Fri, 20 Nov 2009 14:35:55 -0800 |
huffman |
NEWS: HOLCF changes since the last release
|
changeset |
files
|
| Fri, 20 Nov 2009 17:56:06 +0100 |
wenzelm |
removed hard tabs from text (not pattern);
|
changeset |
files
|
| Fri, 20 Nov 2009 16:08:14 +0100 |
wenzelm |
standardized headers;
|
changeset |
files
|
| Fri, 20 Nov 2009 15:48:36 +0100 |
wenzelm |
provide standard isabelle make targets;
|
changeset |
files
|
| Fri, 20 Nov 2009 15:34:11 +0100 |
wenzelm |
merged
|
changeset |
files
|