| Sun, 21 Aug 2022 13:45:50 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 21 Aug 2022 13:44:39 +0200 | wenzelm | tuned comments, following "isabelle build" usage; | changeset | files |
| Sun, 21 Aug 2022 13:16:44 +0200 | wenzelm | clarified names; | changeset | files |
| Sun, 21 Aug 2022 13:12:25 +0200 | wenzelm | clarified modules; | changeset | files |
| Sun, 21 Aug 2022 12:53:46 +0200 | wenzelm | proper theory_dir for links to other session; | changeset | files |
| Sun, 21 Aug 2022 12:41:16 +0200 | wenzelm | tuned sources and comments; | changeset | files |
| Sun, 21 Aug 2022 12:35:45 +0200 | wenzelm | clarified signature; | changeset | files |