Steinway Wu 7d9a47b7c3 remove atxt support

2015-01-30 13:02:37 -05:00

..

CoYonedaLemma.dats

adding more varied examples, including an .atxt file

2014-01-25 17:55:28 -05:00

DiningPhil2_fork.dats

adding more varied examples, including an .atxt file

2014-01-25 17:55:28 -05:00

DiningPhil2_thread.dats

adding more varied examples, including an .atxt file

2014-01-25 17:55:28 -05:00

DiningPhil2.dats

adding more varied examples, including an .atxt file

2014-01-25 17:55:28 -05:00

DiningPhil2.sats

adding more varied examples, including an .atxt file

2014-01-25 17:55:28 -05:00

linset_listord.dats

adding ATS and several sample files

2014-01-25 12:09:00 -05:00

linset_listord.sats

adding ATS and several sample files

2014-01-25 12:09:00 -05:00

linset.hats

adding ATS and several sample files

2014-01-25 12:09:00 -05:00

YonedaLemma.dats

adding more varied examples, including an .atxt file

2014-01-25 17:55:28 -05:00