| Mon, 10 May 2004 19:26:58 +0200 | wenzelm | support nested comments; | changeset | files |
| Mon, 10 May 2004 19:26:42 +0200 | wenzelm | changed Symbol.beginning; | changeset | files |
| Mon, 10 May 2004 19:26:25 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 May 2004 19:26:11 +0200 | wenzelm | Source.of_list: no buffer limitation (now pointless due to tail-recursive Scan.repeat); | changeset | files |
| Mon, 10 May 2004 19:25:59 +0200 | wenzelm | added Scan.list; | changeset | files |
| Mon, 10 May 2004 19:25:42 +0200 | wenzelm | ProofGeneral.process_pgip command; | changeset | files |
| Mon, 10 May 2004 17:10:41 +0200 | obua | preparation for integration with new Ring_and_Field.thy | changeset | files |