| Wed, 29 Dec 2010 18:18:42 +0100 | wenzelm | theory loader: implicit load path is considered legacy; | changeset | files |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | changeset | files |
| Wed, 29 Dec 2010 13:51:17 +0100 | wenzelm | check_file: secondary load path is legacy feature; | changeset | files |
| Wed, 29 Dec 2010 12:37:15 +0100 | wenzelm | share_common_data dummy; | changeset | files |
| Wed, 29 Dec 2010 12:34:33 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Wed, 29 Dec 2010 12:25:22 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Wed, 29 Dec 2010 12:22:38 +0100 | wenzelm | tuned comments; | changeset | files |
| Wed, 29 Dec 2010 12:16:49 +0100 | wenzelm | made SML/NJ happy; | changeset | files |