| Wed, 26 Sep 2012 02:51:59 +0200 | nipkow | tuned | changeset | files |
| Tue, 25 Sep 2012 07:37:42 +0200 | nipkow | tuned | changeset | files |
| Wed, 26 Sep 2012 15:01:45 +0200 | wenzelm | more uniform graphview terminology; | changeset | files |
| Wed, 26 Sep 2012 14:56:59 +0200 | wenzelm | proper Symbol.decode -- especially relevant for Proof General; | changeset | files |