| Tue, 14 Jan 2014 23:23:50 +0100 |
Torsten |
fix missing translations (bug #41200)
gui-release
|
| Tue, 14 Jan 2014 13:47:20 -0800 |
Rik |
Clear all var, functions, globals when clearing classes (bug #41229)
|
| Tue, 14 Jan 2014 22:51:43 +0100 |
Torsten |
max. width of editor tabs limited and configurable
gui-release
|
| Tue, 14 Jan 2014 13:19:58 -0800 |
Rik |
maint: merge gui-release -> default.
|
| Tue, 14 Jan 2014 13:17:55 -0800 |
Rik |
maint: merge stable -> gui-release.
gui-release
|
| Tue, 14 Jan 2014 13:10:17 -0800 |
John W. Eaton |
Sparse.cc: Fix C++ function ambiguity (bug #41145).
|
| Wed, 08 Jan 2014 14:42:56 +0100 |
Lasse Schuirmann |
jit-typeinfo.cc: Fix C++ function ambiguity (bug #41145).
stable
|
| Tue, 14 Jan 2014 12:38:25 -0800 |
Rik |
Fix native MinGW builds with spaces in JAVA_HOME (bug #41024).
stable
|
| Tue, 14 Jan 2014 20:56:57 +0100 |
Torsten |
warn when saving or executing a file with spaces in its name (bug #41136)
gui-release
|
| Tue, 14 Jan 2014 11:27:20 -0800 |
Lasse Schuirmann |
Fix building JIT with 64-bit indexing (bug #41163).
stable
|
| Tue, 14 Jan 2014 10:05:03 -0800 |
Rik |
configure.ac: Respect --with-java-includedir argument (bug #41230)
stable
|
| Tue, 14 Jan 2014 09:52:03 -0800 |
Rik |
build: Don't build JIT by default (bug #41213)
stable
|
| Mon, 13 Jan 2014 20:21:15 -0500 |
John Donoghue |
Set terminal palette background color (Bug #41206)
gui-release
|
| Mon, 13 Jan 2014 10:49:22 -0800 |
Rik |
maint: Merge gui-release -> stable.
|
| Mon, 13 Jan 2014 10:48:49 -0800 |
Rik |
maint: Merge stable -> gui-release.
gui-release
|
