| Mon, 25 Mar 2019 21:46:37 +0100 |
wenzelm |
more robust: avoid NPE due to odd problems with object initialization;
|
changeset |
files
|
| Mon, 25 Mar 2019 19:50:52 +0100 |
wenzelm |
RDF meta data for AFP entries;
|
changeset |
files
|
| Mon, 25 Mar 2019 17:21:26 +0100 |
wenzelm |
more strict AFP properties;
|
changeset |
files
|
| Mon, 25 Mar 2019 16:45:08 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 25 Mar 2019 16:11:28 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 25 Mar 2019 15:48:08 +0100 |
wenzelm |
proper treatment of empty extra lines (amending 98a440cfbb2b);
|
changeset |
files
|
| Mon, 25 Mar 2019 15:38:56 +0100 |
wenzelm |
clarified signature: explicitly typed interfaces;
|
changeset |
files
|
| Mon, 25 Mar 2019 14:47:54 +0100 |
wenzelm |
provide maintainers as seen in AFP/admin;
|
changeset |
files
|
| Mon, 25 Mar 2019 14:40:28 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 25 Mar 2019 14:32:33 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 25 Mar 2019 14:19:26 +0100 |
wenzelm |
read AFP metadata for entries;
|
changeset |
files
|
| Sun, 24 Mar 2019 20:31:53 +0100 |
wenzelm |
more accurate HTML rendering;
|
changeset |
files
|
| Sun, 24 Mar 2019 19:17:42 +0100 |
wenzelm |
clarified markup;
|
changeset |
files
|
| Sun, 24 Mar 2019 18:38:42 +0100 |
wenzelm |
clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
|
changeset |
files
|