| Thu, 01 Sep 2005 15:58:08 +0200 | wenzelm | added PGASCII print_mode, which represents special chars as ASCII 1 + A ... Z; | changeset | files |
| Thu, 01 Sep 2005 11:45:54 +0200 | paulson | improved formatting | changeset | files |
| Thu, 01 Sep 2005 00:46:14 +0200 | wenzelm | isamarkuptext/txt: \par before changing sizes prevents spacing anomaly; | changeset | files |
| Thu, 01 Sep 2005 00:45:24 +0200 | wenzelm | updated; | changeset | files |
| Wed, 31 Aug 2005 18:46:56 +0200 | wenzelm | fixed ins_tokentr: AList.default; | changeset | files |
| Wed, 31 Aug 2005 17:53:35 +0200 | nipkow | comp -> compile | changeset | files |
| Wed, 31 Aug 2005 15:47:41 +0200 | wenzelm | Additional BigO lemmas that require the HOL-Complex logic image; | changeset | files |