| Wed, 11 Jul 2007 00:29:51 +0200 | wenzelm | separated Malformed (symbolic char) from Error (bad input); | changeset | files |
| Wed, 11 Jul 2007 00:29:50 +0200 | wenzelm | Output.escape_malformed; | changeset | files |
| Wed, 11 Jul 2007 00:29:49 +0200 | wenzelm | added escape_malformed (failsafe); | changeset | files |
| Tue, 10 Jul 2007 23:29:53 +0200 | wenzelm | Basic editing of theory sources. | changeset | files |
| Tue, 10 Jul 2007 23:29:52 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 10 Jul 2007 23:29:51 +0200 | wenzelm | export html_mode, begin_document, end_document; | changeset | files |
| Tue, 10 Jul 2007 23:29:49 +0200 | wenzelm | renamed XML.Rawtext to XML.Output; | changeset | files |
| Tue, 10 Jul 2007 23:29:47 +0200 | wenzelm | export get_lexicons; | changeset | files |
| Tue, 10 Jul 2007 23:29:46 +0200 | wenzelm | added kind_of; | changeset | files |
| Tue, 10 Jul 2007 23:29:44 +0200 | wenzelm | Markup.enclose; | changeset | files |
| Tue, 10 Jul 2007 23:29:43 +0200 | wenzelm | more markup for inner and outer syntax; | changeset | files |
| Tue, 10 Jul 2007 23:29:41 +0200 | wenzelm | simplified funpow, untabify; | changeset | files |
| Tue, 10 Jul 2007 23:29:38 +0200 | wenzelm | added Thy/thy_edit.ML; | changeset | files |
| Tue, 10 Jul 2007 23:29:35 +0200 | wenzelm | added some markup for outer syntax; | changeset | files |
| Tue, 10 Jul 2007 17:30:57 +0200 | haftmann | clarified merge of module names | changeset | files |
| Tue, 10 Jul 2007 17:30:56 +0200 | haftmann | now a monolithic module | changeset | files |
| Tue, 10 Jul 2007 17:30:54 +0200 | haftmann | now works with SML/NJ | changeset | files |
| Tue, 10 Jul 2007 17:30:53 +0200 | haftmann | tuned | changeset | files |
| Tue, 10 Jul 2007 17:30:52 +0200 | haftmann | improvement for code names | changeset | files |
| Tue, 10 Jul 2007 17:30:51 +0200 | haftmann | removed proof dependency on transitivity theorems | changeset | files |
| Tue, 10 Jul 2007 17:30:50 +0200 | haftmann | moved lfp_induct2 here | changeset | files |
| Tue, 10 Jul 2007 17:30:49 +0200 | haftmann | clarified import | changeset | files |
| Tue, 10 Jul 2007 17:30:47 +0200 | haftmann | moved lfp_induct2 to Relation.thy | changeset | files |
| Tue, 10 Jul 2007 17:30:45 +0200 | haftmann | moved some finite lemmas here | changeset | files |