log

age author description
Sat, 21 Dec 2013 14:58:11 -0500 John W. Eaton 3.8.0 release candidate 2 stable rc-3-8-0-2
Sat, 21 Dec 2013 13:44:53 -0500 John W. Eaton maint: Periodic merge of gui-release to default.
Fri, 13 Dec 2013 17:24:57 -0500 John W. Eaton eliminate constant folding in parser
Sat, 21 Dec 2013 13:44:13 -0500 John W. Eaton maint: Periodic merge of stable to gui-release. gui-release
Fri, 20 Dec 2013 16:13:20 +0100 Torsten gui: optionally set focus to console when a command is run from another widget gui-release
Fri, 20 Dec 2013 00:26:00 -0500 Mike Miller intmax, intmin: Fix default integer type in docstrings stable
Thu, 19 Dec 2013 17:32:38 -0800 Rik doc: Document options set when using --traditional. gui-release