| Sun, 20 Nov 2011 15:21:22 +0100 | wenzelm | clarified certify vs. sharing; | changeset | files |
| Sun, 20 Nov 2011 13:29:12 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 19 Nov 2011 21:23:16 +0100 | wenzelm | NEWS; | changeset | files |
| Sat, 19 Nov 2011 21:18:38 +0100 | wenzelm | added ML antiquotation @{attributes}; | changeset | files |
| Sat, 19 Nov 2011 17:20:17 +0100 | wenzelm | merged | changeset | files |
| Sat, 19 Nov 2011 12:42:21 +0100 | blanchet | made SML/NJ happy | changeset | files |
| Sat, 19 Nov 2011 16:16:33 +0100 | wenzelm | simplified Locale.add_thmss, after partial evaluation of attributes; | changeset | files |
| Sat, 19 Nov 2011 15:34:37 +0100 | wenzelm | misc tuning; | changeset | files |