| Sat, 23 Jul 2011 21:29:56 +0200 | wenzelm | more detailed tracing; | changeset | files |
| Sat, 23 Jul 2011 20:34:33 +0200 | wenzelm | defensive Term_Sharing, to avoid extending trusted code base of inference kernel; | changeset | files |
| Sat, 23 Jul 2011 20:11:18 +0200 | wenzelm | more precise parse_name according to XML standard; | changeset | files |
| Sat, 23 Jul 2011 17:22:28 +0200 | wenzelm | explicit structure ML_System; | changeset | files |
| Sat, 23 Jul 2011 16:37:17 +0200 | wenzelm | defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||); | changeset | files |
| Sat, 23 Jul 2011 16:12:12 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 22 Jul 2011 07:33:34 +0200 | haftmann | merged | changeset | files |