Minor adjustments

baioc · Sep 17, 2021 · b81160c · b81160c
1 parent f845b7a
commit b81160c
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 11 deletions.
diff --git a/README.md b/README.md
@@ -1,7 +1,8 @@
 # Formally#
 
+![GitHub release (semver)](https://img.shields.io/github/v/release/baioc/FormallySharp)
 ![GitHub top language](https://img.shields.io/github/languages/top/baioc/FormallySharp?color=%2330b9db)
-![GitHub commit activity](https://img.shields.io/github/commit-activity/w/baioc/FormallySharp)
+![GitHub commit activity](https://img.shields.io/github/commit-activity/m/baioc/FormallySharp?label=commits)
 
 Formally# is an online formal language designer.
 **Check it out at [www.formallysharp.codes](http://www.formallysharp.codes)**
@@ -29,7 +30,7 @@ You'll need to install the following pre-requisites in order to build, test and
 * [ASP.NET Core Runtime](https://dotnet.microsoft.com/apps/aspnet)
 * [Node LTS](https://nodejs.org/en/download/), including NPM
 
-Before running the project **for the first time**, you must also restore dotnet project-local tools:
+Before running the project for the first time (**and after updates**), you must also restore local dotnet tools:
 
 ```sh
 $ dotnet tool restore

diff --git a/src/Client/Index.fs b/src/Client/Index.fs
@@ -958,14 +958,20 @@ let main model dispatch =
             ]
         ]
 
-    Html.div [
-        Bulma.section [
-            prop.style [ style.paddingTop (length.rem 0) ]
-            prop.children [projectInterface ]
-        ]
-        Bulma.section [
-            prop.style [ style.paddingTop (length.rem 0) ]
-            prop.children [recognitionInterface ]
+    Bulma.columns [
+        columns.isMultiline
+        columns.isCentered
+        prop.children [
+            Bulma.column [
+                column.isFull
+                column.isHalfWidescreen
+                prop.children [ projectInterface ]
+            ]
+            Bulma.column [
+                column.isFull
+                column.isHalfWidescreen
+                prop.children [ recognitionInterface ]
+            ]
         ]
     ]
 

diff --git a/src/Shared/ContextFree.fs b/src/Shared/ContextFree.fs
@@ -270,6 +270,6 @@ type Dpda<'State, 'InputSymbol, 'StackSymbol
                 else
                     Ok action, next
 
-/// Less parametric DPDA for the common case when input symbols = stack symbols.
+/// Less parametric DPDA for the case when stack symbols <= input symbols.
 type Dpda<'State, 'Symbol when 'State: comparison and 'Symbol: comparison> =
     Dpda<'State, 'Symbol, 'Symbol>