| Fri, 04 Jan 2008 19:00:50 +0100 |
for PolyMinus at Sch"arding, realize p.39, intermediate state
|
file | diff | annotate |
| Fri, 04 Jan 2008 16:08:52 +0100 |
for PolyMinus at Sch"arding, make p.33 confluent
|
file | diff | annotate |
| Fri, 04 Jan 2008 11:16:28 +0100 |
for PolyMinus at Sch"arding, make p.33 confluent
|
file | diff | annotate |
| Mon, 31 Dec 2007 14:18:53 +0100 |
sel_rules selects _applicable_ tactics only, intermediate stae
|
file | diff | annotate |
| Mon, 31 Dec 2007 09:55:43 +0100 |
for PolyMinus at Sch"arding, p.34 finshed
|
file | diff | annotate |
| Fri, 28 Dec 2007 14:57:38 +0100 |
for PolyMinus at Sch"arding, probe added, not tested.
|
file | diff | annotate |
| Fri, 28 Dec 2007 12:10:09 +0100 |
for PolyMinus at Sch"arding, pbl vereinfache ok.
|
file | diff | annotate |
| Thu, 27 Dec 2007 17:44:23 +0100 |
for PolyMinus at Sch"arding, expand poly with minus ok.
|
file | diff | annotate |
| Thu, 27 Dec 2007 15:20:44 +0100 |
for PolyMinus at Sch"arding, intermediate, tests ok
|
file | diff | annotate |
| Mon, 10 Dec 2007 11:09:26 +0100 |
add PolyMinus for Schaerding, found files not included into smltest
|
file | diff | annotate |
| Mon, 10 Dec 2007 09:01:54 +0100 |
add PolyMinus for Schaerding
|
file | diff | annotate |