Mon, 17 Feb 1997 17:55:45 +0100 |
*** empty log message ***
|
file | diff | annotate |
Mon, 17 Feb 1997 17:24:24 +0100 |
described changes for HOLCF-Version without rules and arities
|
file | diff | annotate |
Mon, 17 Feb 1997 16:50:59 +0100 |
improved description of recent changes
|
file | diff | annotate |
Sat, 15 Feb 1997 18:24:05 +0100 |
*** empty log message ***
|
file | diff | annotate |
Mon, 27 Jan 1997 15:01:17 +0100 |
More news items, dating back to 1995
|
file | diff | annotate |
Mon, 27 Jan 1997 09:08:54 +0100 |
*** empty log message ***
|
file | diff | annotate |
Fri, 24 Jan 1997 18:36:30 +0100 |
*** empty log message ***
|
file | diff | annotate |
Fri, 24 Jan 1997 18:24:04 +0100 |
*** empty log message ***
|
file | diff | annotate |
Fri, 24 Jan 1997 17:37:59 +0100 |
Isabelle NEWS -- history of user-visible changes;
|
file | diff | annotate |