| Sat, 28 Apr 2012 16:06:30 +0200 | wenzelm | some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x; | changeset | files |
| Sat, 28 Apr 2012 11:24:20 +0200 | huffman | add isar-ref documentation for transfer package | changeset | files |
| Sat, 28 Apr 2012 10:03:46 +0200 | haftmann | less confusion in NEWS | changeset | files |
| Sat, 28 Apr 2012 09:55:01 +0200 | haftmann | rhs of abstract code equations are not subject to preprocessing: inline code abbrevs explicitly | changeset | files |