From 904e8029fea4436290fc79d5fabc782386cee19b Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Fri, 7 Dec 2012 12:55:17 +0000
Subject: 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
---
 src/www/syntax-editor/editor.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/www/syntax-editor/editor.html')

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>
 
-- 
cgit v1.2.3