| Thu, 24 May 2012 15:35:50 -0400 |
John W. Eaton |
3.6.2-rc2 release candidate
stable rc-3-6-2-2
|
| Thu, 24 May 2012 12:19:04 -0400 |
John W. Eaton |
3.6.2-rc1 release candidate
stable
|
| Thu, 24 May 2012 09:50:28 -0700 |
Rik |
Simplify class handling ('single' vs. 'double') for statistical distribution random functions.
|
| Thu, 24 May 2012 13:45:33 +0200 |
Jacob Dawid |
Allowing nested dock widgets and fixed small bug in loading a workspace.
gui
|
| Thu, 24 May 2012 13:20:27 +0200 |
Jacob Dawid |
Integrated the editor to be docked with the other widgets.
gui
|
| Thu, 24 May 2012 12:08:53 +0200 |
Jacob Dawid |
Copy/Paste buttons get greyed out in the editor correctly again. Removed margin in editor tabs and status bar.
gui
|
| Wed, 23 May 2012 22:34:37 +0200 |
David Bateman |
Allow the builtin function mkdir to create missing parent directories
|
| Wed, 23 May 2012 16:20:29 -0400 |
Jordi Gutiérrez Hermoso |
maint: Periodic merge of default to gui
gui
|
| Wed, 23 May 2012 21:07:57 +0200 |
Jacob Dawid |
Now only monospaced fonts are allowed for editor font.
gui
|
| Wed, 23 May 2012 20:25:07 +0200 |
Jacob Dawid |
Editor can now handle multiple files in tabs.
gui
|
| Wed, 23 May 2012 13:36:24 -0400 |
John W. Eaton |
skip leading whitespace for scanf %i format
|
| Wed, 23 May 2012 10:50:08 +0200 |
Jacob Dawid |
Restructured source files.
gui
|
| Tue, 22 May 2012 23:34:40 +0200 |
Jacob Dawid |
Fixed bug with querying wrong matrix dimensions (bug #36421).
gui
|
| Tue, 22 May 2012 17:46:45 +0200 |
Jacob Dawid |
Copy and paste into the terminal window works now (ctrl+c, ctrl+v).
gui
|
| Tue, 22 May 2012 17:29:34 +0200 |
Jacob Dawid |
Settings readline event hook and fixed race condition.
gui
|
