| Sun, 15 Jul 2012 16:44:40 +0200 | wenzelm | more precise imports; | changeset | files |
| Sat, 14 Jul 2012 21:15:41 +0200 | wenzelm | removed some old/unused stuff; | changeset | files |
| Sat, 14 Jul 2012 21:05:29 +0200 | wenzelm | actually remove former atbroy102/cygwin stuff (cf. 6301046146b6, 08cb859c53cd); | changeset | files |
| Sat, 14 Jul 2012 20:59:49 +0200 | wenzelm | more user aliases; | changeset | files |
| Sat, 14 Jul 2012 16:35:58 +0200 | nipkow | removed superfluous lemmas | changeset | files |
| Fri, 13 Jul 2012 08:45:09 +0200 | bulwahn | fixed typo | changeset | files |
| Fri, 13 Jul 2012 08:44:42 +0200 | bulwahn | renaming the example file which was overlooked before | changeset | files |
| Thu, 12 Jul 2012 16:22:33 +0200 | bulwahn | a first guess to avoid the Codegenerator_Test to loop infinitely | changeset | files |