| Sun, 20 Nov 2011 17:04:59 +0100 | wenzelm | more uniform signature; | changeset | files |
| Sun, 20 Nov 2011 16:59:37 +0100 | wenzelm | uniform cert_vars/read_vars; | changeset | files |
| Sun, 20 Nov 2011 16:58:12 +0100 | wenzelm | eliminated dead code; | changeset | files |
| 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 |