| Fri, 08 Jul 2011 14:37:19 +0200 | wenzelm | more abstract Thy_Load.load_file/use_file for external theory resources; | changeset | files |
| Fri, 08 Jul 2011 13:59:54 +0200 | wenzelm | comment; | changeset | files |
| Fri, 08 Jul 2011 11:50:58 +0200 | wenzelm | clarified Thy_Load.digest_file -- read ML files only once; | changeset | files |
| Fri, 08 Jul 2011 11:13:21 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 07 Jul 2011 23:55:15 +0200 | wenzelm | simplified make_option/dest_option; | changeset | files |
| Thu, 07 Jul 2011 22:04:30 +0200 | wenzelm | explicit Document.Node.Header, with master_dir and thy_name; | changeset | files |