| Sat, 28 Apr 2012 16:44:32 +0200 | wenzelm | some manual updates; | changeset | files |
| 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 |
| Sat, 28 Apr 2012 07:38:22 +0200 | nipkow | renamed Semi to Seq | changeset | files |
| Fri, 27 Apr 2012 23:17:58 +0200 | wenzelm | merged | changeset | files |