| Fri, 01 Jul 2011 10:45:51 +0200 | bulwahn | adding a minimalistic documentation of the value antiquotation in the Isar reference manual | changeset | files |
| Fri, 01 Jul 2011 10:45:49 +0200 | bulwahn | adding a value antiquotation | changeset | files |
| Thu, 30 Jun 2011 19:24:09 +0200 | wenzelm | more general theory header parsing; | changeset | files |
| Thu, 30 Jun 2011 16:50:26 +0200 | wenzelm | back to sequential merge_data, reverting 741373421318 (NB: expensive Parser.merge_gram is already asynchronous since 3daff3cc2214); | changeset | files |
| Thu, 30 Jun 2011 16:07:30 +0200 | wenzelm | merged | changeset | files |
| Thu, 30 Jun 2011 10:15:46 +0200 | krauss | parse term in auxiliary context augmented with variable; | changeset | files |