| Wed, 02 May 2012 20:15:31 +0200 | wenzelm | tuned spelling; | changeset | files |
| Wed, 02 May 2012 19:02:16 +0200 | kuncar | resolved maxidx bug | changeset | files |
| Wed, 02 May 2012 18:26:10 +0200 | kuncar | documentation of the Lifting package on the ML level & tuned | changeset | files |
| Wed, 02 May 2012 17:23:41 +0200 | huffman | edit NEWS items for transfer/lifting | changeset | files |
| Wed, 02 May 2012 16:56:25 +0200 | wenzelm | avoid interference of markup for literal tokens, which may contain slightly odd \<^bsub> \<^esub> counted as pseudo-markup (especially relevant for HTML output, e.g. of thm power3_eq_cube); | changeset | files |
| Wed, 02 May 2012 16:04:07 +0200 | wenzelm | accomodate scala-2.10.0-M3 with its extra jar; | changeset | files |
| Wed, 02 May 2012 13:09:26 +0200 | wenzelm | more robust wrt. spaces in directory names; | changeset | files |
| Wed, 02 May 2012 11:47:45 +0200 | wenzelm | updated headers; | changeset | files |