embedded-gui
|
{quick,merge}sort -> sort
|
2006-04-01 12:24:15 +00:00 |
framework
|
added syntax-id-rules
|
2006-07-18 23:57:56 +00:00 |
hierlist
|
removed calls to set-max-undo-history
|
2006-06-02 17:00:24 +00:00 |
icons
|
.
|
2004-11-30 14:23:20 +00:00 |
mred
|
some bug fixes
|
2006-07-16 15:45:16 +00:00 |
mrlib
|
fixed PR 7129
|
2006-06-21 18:36:43 +00:00 |
tests
|
cleanups in test suites
|
2006-07-19 04:34:48 +00:00 |