| Wed, 02 May 2012 20:57:59 +0200 | wenzelm | save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows; | changeset | files |
| Wed, 02 May 2012 20:43:57 +0200 | wenzelm | some re-ordering; | changeset | files |
| Wed, 02 May 2012 20:31:15 +0200 | wenzelm | some re-ordering; | changeset | files |
| 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 |