| Wed, 13 Jul 2011 00:43:07 +0900 | Cezary Kaliszyk | Update HOLLightCompat | changeset | files |
| Wed, 13 Jul 2011 00:29:33 +0900 | Cezary Kaliszyk | Update files generated in HOL/Import/HOLLight | changeset | files |
| Wed, 13 Jul 2011 00:23:24 +0900 | Cezary Kaliszyk | HOL/Import for HOLLight revival: Proper theory headers, update generation scripts to SVN version of HOL Light, add some constant maps and compatibility theorems | changeset | files |
| Tue, 12 Jul 2011 20:11:11 +0200 | wenzelm | ML pp for XML.tree; | changeset | files |
| Tue, 12 Jul 2011 20:11:00 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 12 Jul 2011 19:49:35 +0200 | wenzelm | clarified YXML.detect; | changeset | files |
| Tue, 12 Jul 2011 19:47:40 +0200 | wenzelm | retain some terminology of "XML attributes"; | changeset | files |
| Tue, 12 Jul 2011 19:36:46 +0200 | wenzelm | more uniform Properties in ML and Scala; | changeset | files |