Thu, 17 May 2018 15:38:36 +0200 | wenzelm | clarified signature; | changeset | files |
Thu, 17 May 2018 14:50:48 +0200 | wenzelm | read theory content from session database; | changeset | files |
Thu, 17 May 2018 14:40:58 +0200 | wenzelm | clarified signature; | changeset | files |
Thu, 17 May 2018 14:01:13 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
Thu, 17 May 2018 07:42:33 +0200 | Andreas Lochbihler | NEWS and CONTRIBUTORS for 8b50f29a1992 | changeset | files |
Wed, 16 May 2018 23:13:33 +0200 | wenzelm | proper PIDE positions; | changeset | files |