update docs for Waikiki

tomooda · Jan 7, 2025 · 8b7e1af · 8b7e1af
1 parent 5a88ac1
commit 8b7e1af
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 11 deletions.
diff --git a/README.md b/README.md
@@ -11,7 +11,7 @@ ViennaTalk is a Smalltalk library to handle VDM-SL specifications.
 Downloads
 ---
 
-The latest release: [<kbd> <br> Lyon <br> &nbsp; </kbd>](https://github.com/tomooda/ViennaTalk/releases/latest/)
+The latest release: [<kbd> <br> Waikiki <br> &nbsp; </kbd>](https://github.com/tomooda/ViennaTalk/releases/latest/)
    * macOS / AppleSilicon [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0&style=flat&logoColor=white&logo=DocuSign)](https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-arm64.dmg)
    * macOS / Intel processor [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0&style=flat&logoColor=white&logo=DocuSign)](https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-x64.dmg)
    * Linux / Intel processor [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0&style=flat&logoColor=white&logo=DocuSign)](https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-linux-x64.tar.bz2)

diff --git a/docs/Releases.md b/docs/Releases.md
@@ -1,12 +1,20 @@
 Major releases of ViennaTalk (lastest top)
 ---
 
+* Codename Waikiki has been released. (Jan 7, 2025)
+   - EpiLog/HiDeHo for exploration support
+      - Dynamic and contextual extraction of a series of versions
+   - Refactoring browser as the default editor for VDM-SL
+   - Unit tests and traces are run integrated in the test runner on the Refactoring browser.
+   - The execution contexts of failed tests are saved and directly debuggable
+   - Adopted the new Pharo debugger architecture in Pharo 12
+
 * Codename Lyon has been released. (Apr 30, 2024)
    - Specification slicing for VDM-SL
    - New UI design for Refactoring Browser
       - Playground with state variables table
       - EpiLog to journal and version specification changes and evaluations
-   - ranspiler can be used as an alternative interpreter.
+   - Transpiler can be used as an alternative interpreter.
    - Support traces definitions
    - Migration to Pharo 12
 

diff --git a/docs/_config.yml b/docs/_config.yml
@@ -3,7 +3,7 @@ plugins:
 - jekyll-remote-theme # add this line to the plugins list if you already have one
 title: ViennaTalk
 description: Live and Formal
-release: Lyon
+release: Waikiki
 gihub:
   arm_mac_url: https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-arm64.dmg
   intel_mac_url: https://github.com/tomooda/ViennaTalk/releases/latest/download/viennatalk-mac-x64.dmg

diff --git a/docs/index.md b/docs/index.md
@@ -37,14 +37,13 @@ Table of Major Components of ViennaTalk
 What's new in the latest release
 ---
 
-* Codename Lyon has been released. (Apr 30, 2024)
-   - Specification slicing for VDM-SL
-   - New UI design for Refactoring Browser
-      - Playground with state variables table
-      - EpiLog to journal and version specification changes and evaluations
-   - ranspiler can be used as an alternative interpreter.
-   - Support traces definitions
-   - Migration to Pharo 12
+* Codename Waikiki has been released. (Jan 7, 2025)
+   - EpiLog/HiDeHo for exploration support
+      - Dynamic and contextual extraction of a series of versions
+   - Refactoring browser as the default editor for VDM-SL
+   - Unit tests and traces are run integrated in the test runner on the Refactoring browser.
+   - The execution contexts of failed tests are saved and directly debuggable
+   - Adopted the new Pharo debugger architecture in Pharo 12
 
 * [Past Releases](Releases.md)