diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-12-07 12:55:17 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-12-07 12:55:17 +0000 |
| commit | 904e8029fea4436290fc79d5fabc782386cee19b (patch) | |
| tree | 6c5a6f0275acabd5ef72bb20798960c991dbaf37 /src/www/syntax-editor/editor.html | |
| parent | 81f843ac062541a7f3bec9fde23be560343b66b7 (diff) | |
Syntax editor: various small improvements...
- separate tree edit buttons from option buttons
- fix bug when wrapping on freshly imported ast
- add interface for import & export of ast
- cleaner internal implementation of Editor.add_refinement
- small style updates
Diffstat (limited to 'src/www/syntax-editor/editor.html')
| -rw-r--r-- | src/www/syntax-editor/editor.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/syntax-editor/editor.html b/src/www/syntax-editor/editor.html index 8105df60d..9464e0fa7 100644 --- a/src/www/syntax-editor/editor.html +++ b/src/www/syntax-editor/editor.html @@ -15,7 +15,7 @@ <hr /> <small class="modtime"> - John J. Camilleri, November 2012 + John J. Camilleri, December 2012 </small> <div id="debug" class="hidden"></div> |