| Mon, 25 Mar 2013 15:18:44 +0100 | kleing | simp_const -> afold; bfold -> fold'; bsimp_const -> bfold | changeset | files |
| Mon, 25 Mar 2013 15:09:41 +0100 | nipkow | added lemmas | changeset | files |
| Mon, 25 Mar 2013 14:07:59 +0100 | wenzelm | merged | changeset | files |
| Mon, 25 Mar 2013 14:04:01 +0100 | wenzelm | clarified text_fold vs. fbrk; | changeset | files |
| Mon, 25 Mar 2013 13:37:44 +0100 | wenzelm | tuned print_classes: more standard order, markup, formatting; | changeset | files |
| Mon, 25 Mar 2013 11:05:07 +0100 | wenzelm | tuned message; | changeset | files |
| Mon, 25 Mar 2013 10:45:47 +0100 | wenzelm | actually exit on scalac failure; | changeset | files |