Fri, 14 Apr 1995 11:27:57 +0200 In binders, the default body priority is now p instead of 0.
lcp [Fri, 14 Apr 1995 11:27:57 +0200] rev 1060
In binders, the default body priority is now p instead of 0.
Fri, 14 Apr 1995 11:27:18 +0200 Now builds Resid as a test
lcp [Fri, 14 Apr 1995 11:27:18 +0200] rev 1059
Now builds Resid as a test
Fri, 14 Apr 1995 11:26:22 +0200 Deleted comment
lcp [Fri, 14 Apr 1995 11:26:22 +0200] rev 1058
Deleted comment
Fri, 14 Apr 1995 11:25:23 +0200 Renamed diff_sing_lepoll to Diff_sing_lepoll.
lcp [Fri, 14 Apr 1995 11:25:23 +0200] rev 1057
Renamed diff_sing_lepoll to Diff_sing_lepoll.
Fri, 14 Apr 1995 11:24:51 +0200 Renamed domain_diff_subset, range_diff_subset,
lcp [Fri, 14 Apr 1995 11:24:51 +0200] rev 1056
Renamed domain_diff_subset, range_diff_subset, field_diff_subset, converse_diff to domain_Diff_subset, range_Diff_subset, field_Diff_subset, converse_Diff for consistency. (Thanks to KG)
Fri, 14 Apr 1995 11:24:10 +0200 Renamed diff_sing_lepoll, lepoll_diff_sing and diff_sing_eqpoll
lcp [Fri, 14 Apr 1995 11:24:10 +0200] rev 1055
Renamed diff_sing_lepoll, lepoll_diff_sing and diff_sing_eqpoll to Diff_sing_lepoll, lepoll_Diff_sing and Diff_sing_eqpoll for consistency. Strengthened lepoll_Diff_sing. (Thanks to KG)
Fri, 14 Apr 1995 11:22:30 +0200 Updated CADE reference
lcp [Fri, 14 Apr 1995 11:22:30 +0200] rev 1054
Updated CADE reference
Fri, 14 Apr 1995 11:20:53 +0200 Removes (obsolete) target if already present.
lcp [Fri, 14 Apr 1995 11:20:53 +0200] rev 1053
Removes (obsolete) target if already present.
Thu, 13 Apr 1995 17:05:41 +0200 Olafs new version.
nipkow [Thu, 13 Apr 1995 17:05:41 +0200] rev 1052
Olafs new version.
Thu, 13 Apr 1995 16:57:18 +0200 Directory example is now called NTP
nipkow [Thu, 13 Apr 1995 16:57:18 +0200] rev 1051
Directory example is now called NTP
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip