../ reg001/Remove apply from reg001 since it's in the prelude!13 years ago reg002/Reset test runscripts to mode 075513 years ago reg003/Implicit "module Main" added13 years ago reg004/Reset test runscripts to mode 075513 years ago reg005/Make note of unapplied unifiation solutions13 years ago reg006/Fix earlier %assert_total propagation13 years ago reg007/Reset test runscripts to mode 075513 years ago reg008/Reset test runscripts to mode 075513 years ago reg009/Reset test runscripts to mode 075513 years ago reg010/Reset test runscripts to mode 075513 years ago reg011/Reset test runscripts to mode 075513 years ago reg012/Reset test runscripts to mode 075513 years ago reg013/Reset test runscripts to mode 075513 years ago reg014/Reset test runscripts to mode 075513 years ago reg015/Reset test runscripts to mode 075513 years ago reg016/Reset test runscripts to mode 075513 years ago reg017/Reset test runscripts to mode 075513 years ago reg018/Reset test runscripts to mode 075513 years ago reg019/Reset test runscripts to mode 075513 years ago reg020/Reset test runscripts to mode 075513 years ago reg021/Reset test runscripts to mode 075513 years ago reg022/Reset test runscripts to mode 075513 years ago reg023/Reset test runscripts to mode 075513 years ago reg024/Adjust tests to the changed String show instance13 years ago reg025/Adjust tests to the changed String show instance13 years ago reg026/Reset test runscripts to mode 075513 years ago reg027/Improve type class overlap check13 years ago reg028/Update result of reg02813 years ago reg029/fixes reg029 to not use set -u (which does not exist on macosx)13 years ago reg030/Fix bug in 'forget' for well-typed terms13 years ago reg031/Delimit escape codes properly.13 years ago test001/Switch on 'elabPE'13 years ago test002/Fix test00213 years ago test003/Adjust tests to the changed String show instance13 years ago test004/Reset test runscripts to mode 075513 years ago test005/Adjust tests to the changed String show instance13 years ago test006/Reset test runscripts to mode 075513 years ago test007/Reset test runscripts to mode 075513 years ago test008/Adjust tests to the changed String show instance13 years ago test009/Reset test runscripts to mode 075513 years ago test010/Implicit "module Main" added13 years ago test011/Adjust tests to the changed String show instance13 years ago test012/Reset test runscripts to mode 075513 years ago test013/Reset test runscripts to mode 075513 years ago test014/Switch on 'elabPE'13 years ago test015/Reset test runscripts to mode 075513 years ago test016/Disambiguate Stream13 years ago test017/Totality checker improvements (soundness)13 years ago test018/Reset test runscripts to mode 075513 years ago test019/Reset test runscripts to mode 075513 years ago test020/Adjust tests to the changed String show instance13 years ago test021/Adjust tests to the changed String show instance13 years ago test022/Reset test runscripts to mode 075513 years ago test023/Reset test runscripts to mode 075513 years ago test024/Reset test runscripts to mode 075513 years ago test025/Reset test runscripts to mode 075513 years ago test026/Reset test runscripts to mode 075513 years ago test027/Reset test runscripts to mode 075513 years ago test028/Adjust tests to the changed String show instance13 years ago test029/Reset test runscripts to mode 075513 years ago test030/Reset test runscripts to mode 075513 years ago test031/Reset test runscripts to mode 075513 years ago test032/Add %name directive for naming hints in editing.13 years ago test033/Reset test runscripts to mode 075513 years ago test034/Catch import errors in the right place13 years ago test035/Add test for preorder reasoning syntax13 years ago test036/Fixes layout parsing of operators13 years ago test037/Performance improvement: name supply13 years ago MakefileShortcut unification updates13 years ago READMEAdd regression test for possibly-null foreign strings in the executor13 years ago mktest.plChange from shebangs with absolute references to using /usr/bin/env13 years ago runtest.plMake runtest.pl execute run scripts directly13 years ago