cvs commit: nhc98/tests/nofib/spectral/clausify Main.hs clausify.stdout
by Malcolm Wallace 05 Aug '04
by Malcolm Wallace 05 Aug '04
05 Aug '04
1
0
cvs commit: nhc98/tests/nofib/spectral/cichelli Auxil.hs Interval.hs Key.lhs Main.hs Prog.hs cichelli.stdout
by Malcolm Wallace 05 Aug '04
by Malcolm Wallace 05 Aug '04
05 Aug '04
1
0
cvs commit: nhc98/tests/nofib/spectral/calendar Main.hs calendar.stdout
by Malcolm Wallace 05 Aug '04
by Malcolm Wallace 05 Aug '04
05 Aug '04
1
0
cvs commit: nhc98/tests/nofib/spectral/boyer2 Checker.hs Lisplikefns.hs Main.hs Rewritefns.hs Rulebasetext.hs boyer2.stdout
by Malcolm Wallace 05 Aug '04
by Malcolm Wallace 05 Aug '04
05 Aug '04
1
0
05 Aug '04
1
0
cvs commit: nhc98/tests/nofib/spectral/banner Main.hs banner.stdin banner.stdout
by Malcolm Wallace 05 Aug '04
by Malcolm Wallace 05 Aug '04
05 Aug '04
1
0
cvs commit: nhc98/tests/nofib/spectral/awards Hack.hs Main.hs QSort.hs awards.stdout
by Malcolm Wallace 05 Aug '04
by Malcolm Wallace 05 Aug '04
05 Aug '04
1
0
05 Aug '04
1
0
05 Aug '04
1
0
cvs commit: nhc98/tests/nofib/real/veritas Attributes.lhs Auto.hs Build_Tm.lhs Build_itrm.lhs Core_database.hs Core_datatype.hs Dcore.hs DerivedRules.hs Display.hs Editor.hs Edlib.lhs Getops.hs Globals.hs Goals.hs Kernel.hs Lookup.hs Main.hs Parse.lhs ...
by Malcolm Wallace 05 Aug '04
by Malcolm Wallace 05 Aug '04
05 Aug '04
1
0