| Thu, 23 Aug 2012 13:55:27 +0200 |
wenzelm |
clarified type Token.file;
|
changeset |
files
|
| Thu, 23 Aug 2012 13:31:00 +0200 |
wenzelm |
expand all files uniformly;
|
changeset |
files
|
| Thu, 23 Aug 2012 13:26:27 +0200 |
wenzelm |
added build option -l (list files);
|
changeset |
files
|
| Thu, 23 Aug 2012 13:03:29 +0200 |
wenzelm |
prefer classic take_prefix/take_suffix over chop_while (cf. 0659e84bdc5f);
|
changeset |
files
|
| Thu, 23 Aug 2012 12:55:23 +0200 |
wenzelm |
more basic file dependencies -- no load command here;
|
changeset |
files
|
| Thu, 23 Aug 2012 12:44:52 +0200 |
wenzelm |
tuned signature (again, cf. ff9cd47be39b);
|
changeset |
files
|
| Thu, 23 Aug 2012 12:43:01 +0200 |
wenzelm |
updated Thy_Load.check_thy;
|
changeset |
files
|
| Thu, 23 Aug 2012 12:33:42 +0200 |
wenzelm |
simplified Thy_Load.check_thy (again) -- no need to pass keywords nor find files in body text;
|
changeset |
files
|
| Thu, 23 Aug 2012 12:00:11 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 23 Aug 2012 11:58:10 +0200 |
wenzelm |
simplified Thy_Load.provide: do not store full path;
|
changeset |
files
|
| Wed, 22 Aug 2012 23:45:49 +0200 |
wenzelm |
prefer ML_file over old uses;
|
changeset |
files
|
| Wed, 22 Aug 2012 23:23:48 +0200 |
wenzelm |
merged
|
changeset |
files
|