ccj7373
diff --git a/‎HISTORY.md
+6 b/‎HISTORY.md
+6
diff --git a/‎README.md
+2-2 b/‎README.md
+2-2
diff --git a/‎asset/ace/ace.js
-148 b/‎asset/ace/ace.js
-148
diff --git a/‎asset/ace/ext-searchbox.js
-1 b/‎asset/ace/ext-searchbox.js
-1
@@ -3,6 +3,12 @@
 https://github.com/josdejong/jsoneditor
 
 
+## not yet released, version 4.0.0
+
+- Ace editor and jsonlint are now packed with jsoneditor.js by default.
+- Reworked the source code to CommonJS modules, using `brace` to load Ace.
+
+
 ## 2015-01-25, version 3.2.0
 
 - Implemented shortcut keys `Ctrl+\` to format and `Ctrl+Shift+\` to compact
 
@@ -74,12 +74,12 @@ download:
 <html>
 <head>
     <link rel="stylesheet" type="text/css" href="jsoneditor/jsoneditor.min.css">
-    <script type="text/javascript" src="jsoneditor/jsoneditor.min.js"></script>
+    <script src="jsoneditor/jsoneditor.min.js"></script>
 </head>
 <body>
     <div id="jsoneditor" style="width: 400px; height: 400px;"></div>
 
-    <script type="text/javascript" >
+    <script>
         // create the editor
         var container = document.getElementById("jsoneditor");
         var editor = new JSONEditor(container);