| Sun, 12 Aug 2012 22:39:28 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 12 Aug 2012 21:48:58 +0200 | krauss | fixed mira.py (cf. fd50596bf78b) | changeset | files |
| Sun, 12 Aug 2012 20:45:34 +0200 | wenzelm | more direct embedding of abstract thm values into the ML environment -- avoidance of repeated ML_Thms.the_thm(s) considerably reduces compilation time for Poly/ML 5.4.x; | changeset | files |
| Sun, 12 Aug 2012 19:09:55 +0200 | wenzelm | more static antiquotations; | changeset | files |