---

Revision 795 - Directory Listing
Modified Fri Mar 2 19:10:50 2001 UTC (20 years, 1 month ago) by dbm

adding new files, mostly modules test outputs

---

Revision 792 - Directory Listing
Modified Thu Mar 1 19:04:34 2001 UTC (20 years, 1 month ago) by dbm

updated outputs for modules tests 83, 94, 96

---

Revision 791 - Directory Listing
Modified Thu Mar 1 18:59:35 2001 UTC (20 years, 1 month ago) by dbm

new output files (outputs.pre-110.5) for new tests

---

Revision 790 - Directory Listing
Modified Wed Feb 28 22:46:05 2001 UTC (20 years, 1 month ago) by dbm

corrections: bug1582.1.sml -> bug1506.1.sml, bug1602.1.sml

---

Revision 789 - Directory Listing
Modified Wed Feb 28 21:57:58 2001 UTC (20 years, 1 month ago) by dbm

new test cases

---

Revision 787 - Directory Listing
Modified Fri Feb 23 21:38:43 2001 UTC (20 years, 1 month ago) by dbm

bug fixes

---

Revision 786 - Directory Listing
Modified Fri Feb 23 21:36:06 2001 UTC (20 years, 1 month ago) by dbm

update

---

Revision 552 - Directory Listing
Modified Tue Feb 29 20:44:14 2000 UTC (21 years, 1 month ago) by dbm

revised README with [basis/tests setup] note

---

Revision 551 - Directory Listing
Modified Tue Feb 29 17:31:13 2000 UTC (21 years, 1 month ago) by dbm

revised README

---

Revision 548 - Directory Listing
Added Tue Feb 29 16:38:11 2000 UTC (21 years, 1 month ago) by dbm

Initial revision