| Tue, 27 Aug 2013 13:07:31 +0200 |
wenzelm |
more standard key handling according to jEdit (with workaround);
|
changeset |
files
|
| Tue, 27 Aug 2013 12:35:32 +0200 |
wenzelm |
more systematic JEdit_Lib.key_listener with optional KeyEventWorkaround;
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
got rid of old error -- users who install SPASS manually are responsible for any version mismatches
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
tuned messages
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
natural component order
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
better error message
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Wed, 28 Aug 2013 17:11:28 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 28 Aug 2013 14:37:35 +0200 |
kuncar |
use only one data slot; rename print_quotmaps to print_quot_maps; tuned
|
changeset |
files
|
| Wed, 28 Aug 2013 11:15:14 +0200 |
nipkow |
merged
|
changeset |
files
|
| Wed, 28 Aug 2013 08:56:57 +0200 |
nipkow |
added rtrancl_while
|
changeset |
files
|
| Tue, 27 Aug 2013 16:06:27 +0200 |
hoelzl |
renamed inner_dense_linorder to dense_linorder
|
changeset |
files
|