| 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 |
| Fri, 27 Apr 2012 22:58:29 +0200 | wenzelm | prefer Context_Position.report_generic, which observes is_visible flag and thus reduces number of echos; | changeset | files |
| Fri, 27 Apr 2012 22:47:30 +0200 | wenzelm | clarified signature; | changeset | files |