Update to latest version of build tool

.github/workflows/build-alternate-ui-frontend-html.yml

@@ -15,20 +15,20 @@ jobs:
     steps:
     - uses: actions/checkout@v3
 
-    - name: download elm-time
+    - name: download build tool
       run: |
-        pwsh -nologo -noprofile -command "Invoke-WebRequest 'https://github.com/elm-time/elm-time/releases/download/v2023-04-10/elm-time-bin-v2023-04-10-linux-x64.zip' -OutFile elm-time-linux-x64.zip"
-        pwsh -nologo -noprofile -command "& { Add-Type -A 'System.IO.Compression.FileSystem'; [IO.Compression.ZipFile]::ExtractToDirectory('elm-time-linux-x64.zip','./elm-time');}"
+        pwsh -nologo -noprofile -command "Invoke-WebRequest 'https://github.com/pine-vm/pine/releases/download/v0.3.0/pine-bin-v0.3.0-linux-x64.zip' -OutFile pine-bin-v0.3.0-linux-x64.zip"
+        pwsh -nologo -noprofile -command "& { Add-Type -A 'System.IO.Compression.FileSystem'; [IO.Compression.ZipFile]::ExtractToDirectory('pine-bin-v0.3.0-linux-x64.zip','./pine');}"
 
-    - name: install elm-time
+    - name: install build tool
       run: |
-        chmod  +x  ./elm-time/elm-time
-        sudo  ./elm-time/elm-time  install
+        chmod  +x  ./pine/pine
+        sudo  ./pine/pine  install
 
     - name: Build HTML
       working-directory: ./implement/alternate-ui/source
       run: |
-        elm-time  make  src/Frontend/Main.elm  --output=./eve-online-alternate-ui-${{github.sha}}.html
+        pine  make  src/Frontend/Main.elm  --output=./eve-online-alternate-ui-${{github.sha}}.html
 
     - uses: actions/upload-artifact@v3
       with:

implement/alternate-ui/readme.md

@@ -35,21 +35,21 @@ Developers use the parsing library to make ratting, mining, and mission running
 
 ## Setup
 
-These instructions to run the alternate UI start with the program source code. Here we use a tool called `elm-time` to compile the program from source code and run it as a web server.
+These instructions to run the alternate UI start with the program source code. Here we use a tool called `pine` to compile the program from source code and run it as a web server.
 
-Download the zip archive from <https://github.com/elm-time/elm-time/releases/download/v2024-02-17/elm-time-separate-assemblies-d4a29168fd0195b3f507c8ef023acc26942df0c0-win-x64.zip> and extract it.
+Download the zip archive from <https://github.com/pine-vm/pine/releases/download/v0.3.0/pine-separate-assemblies-bd6a65808505eef741e159fb33c7ecf5c351b53d-win-x64.zip> and extract it.
 
-The extracted files contain the `elm-time` tool used to run Elm programs.
+The extracted files contain the `pine` tool used to run Elm programs.
 
 ## Usage
 
 To start the software:
 
 + Start PowerShell.
-+ In the next command, we use the `elm-time.exe` file we got from the zip archive in the setup section. Below is an example of the complete command; you only need to replace the file path to the executable file:
++ In the next command, we use the `pine.exe` file we got from the zip archive in the setup section. Below is an example of the complete command; you only need to replace the file path to the executable file:
 
 ```txt
-."C:\replace-this-the-path-on-your-system\elm-time.exe"  run-server  --public-urls="http://*:80"  --deploy=https://github.com/Arcitectus/Sanderling/tree/dd6ca58e26a217e79261e0d6f2f597804f5b558a/implement/alternate-ui/source
+."C:\replace-this-the-path-on-your-system\pine.exe"  run-server  --public-urls="http://*:80"  --deploy=https://github.com/Arcitectus/Sanderling/tree/dd6ca58e26a217e79261e0d6f2f597804f5b558a/implement/alternate-ui/source
 ```
 
 + The command starts a web server and the shell window will display an output like this:
@@ -60,7 +60,7 @@ Loading app config to deploy...
 This path looks like a URL into a remote git repository. Trying to load from there...
 This path points to commit dd6ca58e26a217e79261e0d6f2f597804f5b558a
 Loaded source composition 575233c29caee8611794fd8306a4d341a3e911315b5b844cb78b326e3676b349 from 'https://github.com/Arcitectus/Sanderling/tree/dd6ca58e26a217e79261e0d6f2f597804f5b558a/implement/alternate-ui/source'.
-Starting web server with admin interface (using engine JavaScript_V8)...
+Starting web server with admin interface (using engine JavaScript_V8 { })...
 info: ElmTime.Platform.WebService.StartupAdminInterface[0]
       Begin to build the process live representation.
 info: ElmTime.Platform.WebService.StartupAdminInterface[0]
@@ -77,8 +77,10 @@ info: Microsoft.Hosting.Lifetime[14]
       Now listening on: http://[::]:80
 info: Microsoft.Hosting.Lifetime[0]
       Application started. Press Ctrl+C to shut down.
+info: Microsoft.Hosting.Lifetime[0]
+      Hosting environment: Production
 info: ElmTime.Platform.WebService.StartupAdminInterface[0]
-      Started the public app at 'http://*:80'.
+      Started the public app at 'http://[::]:80'.
 Completed starting the web server with the admin interface at 'http://*:4000'.
 ```
 

implement/alternate-ui/run-alternate-ui.ps1

@@ -1,2 +1,2 @@
 
-elm-time  run-server  --public-urls="http://*:80"  --deploy=./source/
+pine  run-server  --public-urls="http://*:80"  --deploy=./source/

implement/alternate-ui/source/src/CompilationInterface/ElmMake.elm

@@ -1,6 +1,6 @@
 module CompilationInterface.ElmMake exposing (..)
 
-{-| For documentation of the compilation interface, see <https://github.com/elm-time/elm-time/blob/main/guide/how-to-configure-and-deploy-an-elm-backend-app.md#compilationinterfaceelmmake-elm-module>
+{-| For documentation of the compilation interface, see <https://github.com/pine-vm/pine/blob/main/guide/how-to-configure-and-deploy-an-elm-backend-app.md#compilationinterfaceelmmake-elm-module>
 -}
 
 

implement/alternate-ui/source/src/CompilationInterface/SourceFiles.elm

@@ -1,6 +1,6 @@
 module CompilationInterface.SourceFiles exposing (..)
 
-{-| For documentation of the compilation interface, see <https://github.com/elm-time/elm-time/blob/main/guide/how-to-configure-and-deploy-an-elm-backend-app.md#compilationinterfacesourcefiles-elm-module>
+{-| For documentation of the compilation interface, see <https://github.com/pine-vm/pine/blob/main/guide/how-to-configure-and-deploy-an-elm-backend-app.md#compilationinterfacesourcefiles-elm-module>
 -}
 
 

implement/alternate-ui/source/src/Platform/WebService.elm

@@ -1,9 +1,9 @@
 module Platform.WebService exposing (..)
 
-{-| This module contains the types describing the Elm-Time web service platform.
+{-| This module contains the types describing the Pine web service platform.
 To build a web service app in Elm, copy this module file into your project and add a declaration with the name `webServiceMain` to an Elm module.
 
-For the latest version of the documentation, see <https://elm-time.org>
+For the latest version of the documentation, see <https://pinevm.org>
 
 -}
 
@@ -17,10 +17,6 @@ type alias WebServiceConfig state =
     }
 
 
-type alias WebServerConfig state =
-    WebServiceConfig state
-
-
 type alias Subscriptions state =
     { httpRequest : HttpRequestEventStruct -> state -> ( state, Commands state )
     , posixTimeIsPast :