Doc fix

uds-se · Oct 22, 2023 · d3a2df9 · d3a2df9
1 parent c6cf4e6
commit d3a2df9
Showing 1 changed file with 15 additions and 5 deletions.
diff --git a/notebooks/ReleaseNotes.ipynb b/notebooks/ReleaseNotes.ipynb
@@ -28,16 +28,26 @@
     "## Current Version (in progress)\n",
     "\n",
     "This is the version we are preparing for the next release (e.g. what you get when you check out the latest version from [the GitHub repo](__GITHUB_HTML__)).\n",
-    "Major changes will show up here as we make them.\n",
+    "Major changes will show up here as we make them."
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## Version 1.2 (released 2023-10-23)\n",
+    "\n",
+    "Changes since 1.1:\n",
     "\n",
     "* We have a [new chapter on Fuzzing with Constraints](FuzzingWithConstraints.ipynb) in which we introduce the ISLa constraint language / fuzzer / parser.\n",
-    "* We have a [new chapter on Compiler Testing](PythonFuzzer.ipynb) in which we generate Python code.\n",
-    "* We now run regularly test our code on various Python versions.\n",
-    "  * Python 3.12: experimental. Chapters making use of ISla and Z3 may have trouble.\n",
+    "* We have a [new chapter on Compiler Testing](PythonFuzzer.ipynb) in which we use grammars to generate, parse, and evolve Python code.\n",
+    "* We now regularly test our code on various Python versions.\n",
+    "  * Python 3.12: most chapters work; some modules we depend on have not been updated for 3.12 yet.\n",
     "  * Python 3.11: stable.\n",
     "  * Python 3.10: stable.\n",
     "  * Python 3.9: stable. Using ISLa is not supported.\n",
-    "  For development, we still recommend Python 3.10 or 3.11.\n",
+    "\n",
+    "  For development, we recommend Python 3.10 or 3.11.\n",
     "* We fixed several typos throughout the book, using the awesome [LTeX](https://github.com/valentjn/vscode-ltex) grammar/spell checker\n",
     "* `ProbabilisticGrammarMiner` now properly handles empty expansions ([Issue #154](https://github.com/uds-se/fuzzingbook/pull/154)) - thanks to [Martin Eberlein](https://github.com/martineberlein)!\n",
     "* The [chapter on Fuzzing](Fuzzer.ipynb) now has a more detailed computation of the probability of deleting your home directory. Thanks to [mhamami-abuomar](https://github.com/mhamami-abuomar)!\n",