Wed, 25 Oct 2017 11:40:58 +0200 | wenzelm | disallow blanks, relevant for session_name / theory_name e.g. in build log files; | changeset | files |
Wed, 25 Oct 2017 11:35:48 +0200 | wenzelm | uniform system name; | changeset | files |
Tue, 24 Oct 2017 21:20:55 +0200 | wenzelm | store session sources stamp; | changeset | files |