commit | 8cf9f8e9ea02f8b5fce74920515af6a9ab7f193c | [log] [tgz] |
---|---|---|
author | mparker <mparker> | Sat Sep 19 01:22:59 2009 +0000 |
committer | mparker <mparker> | Sat Sep 19 01:22:59 2009 +0000 |
tree | a7a2752cd888f21ff1063a1043b1e5fd52ca1ab7 | |
parent | e4f09ca38a4ec9fb851c9254f78edf68f3bc5006 [diff] |
Improvements to xtext and results editors.