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
|