| Wed, 14 Jan 2015 14:28:52 +0100 | wenzelm | clarified build_theories; | file | diff | annotate |
| Tue, 13 Jan 2015 21:46:09 +0100 | wenzelm | some support for PIDE batch session; | file | diff | annotate |
| Thu, 08 Jan 2015 20:56:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 03 Dec 2014 22:34:28 +0100 | wenzelm | node-specific keywords, with session base syntax as default; | file | diff | annotate |
| Tue, 02 Dec 2014 14:16:56 +0100 | wenzelm | node-specific syntax, with base_syntax as default; | file | diff | annotate |
| Fri, 07 Nov 2014 16:36:55 +0100 | wenzelm | plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; | file | diff | annotate |
| Mon, 18 Aug 2014 13:19:04 +0200 | wenzelm | merged; | file | diff | annotate |