Mon, 01 Apr 2019 21:45:13 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 01 Apr 2019 17:02:43 +0100 | paulson | A few results in Algebra, and bits for Analysis | changeset | files |
Sat, 30 Mar 2019 15:37:27 +0100 | haftmann | experimental commands for proof sketching and exploration | changeset | files |
Sat, 30 Mar 2019 15:37:22 +0100 | haftmann | irrelevant | changeset | files |
Sat, 30 Mar 2019 22:51:38 +0100 | wenzelm | more PIDE markup and hyperlinks; | changeset | files |
Sat, 30 Mar 2019 20:54:47 +0100 | wenzelm | clarified signature: more explicit type Path.binding; | changeset | files |
Sat, 30 Mar 2019 12:07:31 +0100 | wenzelm | more LaTeX symbols; | changeset | files |