Mon, 18 Mar 2019 21:06:26 +0100 | wenzelm | support unicode_symbols in input source; | changeset | files |
Mon, 18 Mar 2019 21:05:34 +0100 | wenzelm | tuned signature; | changeset | files |
Mon, 18 Mar 2019 15:35:34 +0000 | paulson | new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies | changeset | files |
Sun, 17 Mar 2019 21:26:42 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 17 Mar 2019 20:03:55 +0100 | wenzelm | more meta data from "dcterms" (superset of "dc"); | changeset | files |
Fri, 15 Mar 2019 22:02:05 +0100 | wenzelm | more latex symbols; | changeset | files |
Thu, 14 Mar 2019 21:17:40 +0100 | wenzelm | merged | changeset | files |