|
basic
|
Added a distr entry
|
1988-04-18 10:21:30 +00:00 |
|
cem
|
improved clean entry
|
1988-04-29 09:22:57 +00:00 |
|
m2
|
types of case-labels are base-types
|
1988-04-29 09:16:51 +00:00 |
|
occam
|
corrected typo
|
1988-04-21 09:21:18 +00:00 |
|
pc
|
assert macro has one parameter
|
1988-04-19 09:57:44 +00:00 |
|
.distr
|
Added m2
|
1988-04-08 13:10:18 +00:00 |
