| Thu, 30 Aug 2018 17:20:54 +0200 |
Manuel Eberl |
Some basic materials on filters and topology
|
changeset |
files
|
| Thu, 30 Aug 2018 19:59:36 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 30 Aug 2018 19:52:30 +0200 |
wenzelm |
more accurate position for auxiliary files;
|
changeset |
files
|
| Thu, 30 Aug 2018 17:24:43 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 30 Aug 2018 14:56:04 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 30 Aug 2018 14:48:02 +0200 |
wenzelm |
more careful treatment position: existing facts refer to interpretation command, future facts refer to themselves (see also 4270da306442);
|
changeset |
files
|
| Thu, 30 Aug 2018 14:38:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 30 Aug 2018 14:21:40 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 30 Aug 2018 14:10:39 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 30 Aug 2018 13:38:52 +0200 |
wenzelm |
clarified signature: explicit type Locale.registration;
|
changeset |
files
|
| Thu, 30 Aug 2018 12:36:26 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 30 Aug 2018 12:10:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 30 Aug 2018 18:40:53 +0200 |
blanchet |
updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
|
changeset |
files
|
| Wed, 29 Aug 2018 20:01:39 +0200 |
wenzelm |
prefer "locale begin ... end";
|
changeset |
files
|
| Wed, 29 Aug 2018 19:35:41 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|