Tue, 30 Aug 2016 16:39:47 +0200 | blanchet | tuned docs | changeset | files |
Tue, 30 Aug 2016 16:39:47 +0200 | blanchet | tuned final stop in message | changeset | files |
Tue, 30 Aug 2016 09:04:40 +0200 | traytel | generate proper goal when equation is entered programmatically | changeset | files |