diff --git a/app/casmc b/app/casmc
index 4980b49..b573821 160000
--- a/app/casmc
+++ b/app/casmc
@@ -1 +1 @@
-Subproject commit 4980b494230c07e029bf05af7ccf678f94319c3b
+Subproject commit b5738212b1b99dfc4ba9a9b8fdd4911a1f9e011f
diff --git a/app/casmd b/app/casmd
index cfcb90e..a34fa09 160000
--- a/app/casmd
+++ b/app/casmd
@@ -1 +1 @@
-Subproject commit cfcb90e1fa13aa9f2cec66d3740130635ce07a55
+Subproject commit a34fa09bb16cda5b1efcc4bc0e13030f1efba9e1
diff --git a/app/casmf b/app/casmf
index 8c92bda..3f336f0 160000
--- a/app/casmf
+++ b/app/casmf
@@ -1 +1 @@
-Subproject commit 8c92bdaa821ed9eaf8f5f90014e488a67c91f615
+Subproject commit 3f336f0e29b5a705fa895312ef2fa9ea23558762
diff --git a/app/casmi b/app/casmi
index 0d1f2db..848f486 160000
--- a/app/casmi
+++ b/app/casmi
@@ -1 +1 @@
-Subproject commit 0d1f2db2c84b9e4cac9d5146a0135e84e5bcf094
+Subproject commit 848f4869180bad7dd3ce8586e1e802727d0a8e5d
diff --git a/doc/main.md b/doc/main.md
index cd39351..a368535 100644
--- a/doc/main.md
+++ b/doc/main.md
@@ -1,5 +1,9 @@
 CASM                         {#mainpage}
 ============
 
+
 TBD
 
+[TOC]
+
+TODO
diff --git a/lib/casm-be b/lib/casm-be
index e44cf40..4b35063 160000
--- a/lib/casm-be
+++ b/lib/casm-be
@@ -1 +1 @@
-Subproject commit e44cf4078cd812cd61a781ccb9f9d0f0bdb5e734
+Subproject commit 4b3506320f6e83f8db1c809d9e1d3e260e1d012b
diff --git a/lib/casm-fe b/lib/casm-fe
index 672a2f0..354a4c1 160000
--- a/lib/casm-fe
+++ b/lib/casm-fe
@@ -1 +1 @@
-Subproject commit 672a2f06f3a61ef7591cadef5eb5ec23f45aa215
+Subproject commit 354a4c1a878a7d4fbb02389b8b14c6b42811e46d
diff --git a/lib/casm-ir b/lib/casm-ir
index 3ef7929..45205c4 160000
--- a/lib/casm-ir
+++ b/lib/casm-ir
@@ -1 +1 @@
-Subproject commit 3ef7929473a2b099a5d93f6aa86292a637232ef4
+Subproject commit 45205c42b38e64b2d86efb4337275b3ed1e50fee
diff --git a/lib/casm-rt b/lib/casm-rt
index d310aaf..d2f4a32 160000
--- a/lib/casm-rt
+++ b/lib/casm-rt
@@ -1 +1 @@
-Subproject commit d310aaf05abdad8d17cc70eb1d3fbff676952a05
+Subproject commit d2f4a320ec0d022b1d8deeee864ac511ff61afc5
diff --git a/lib/casm-tc b/lib/casm-tc
index d47019b..11361e1 160000
--- a/lib/casm-tc
+++ b/lib/casm-tc
@@ -1 +1 @@
-Subproject commit d47019b8633f1f57888dfc6a558ec6235ee401b2
+Subproject commit 11361e18a75cbc8a39fd01301775580272105791
diff --git a/lib/cjel-be b/lib/cjel-be
index 0892bf3..43c976b 160000
--- a/lib/cjel-be
+++ b/lib/cjel-be
@@ -1 +1 @@
-Subproject commit 0892bf3c1fc85dc1c9b91f210b3343206fef2af7
+Subproject commit 43c976bd11142eede1a3ed2f0bb7f71d60e29d4d
diff --git a/lib/cjel-ir b/lib/cjel-ir
index c8f0132..95bacde 160000
--- a/lib/cjel-ir
+++ b/lib/cjel-ir
@@ -1 +1 @@
-Subproject commit c8f013264a7f536475b1112c8e604dc03dc5d473
+Subproject commit 95bacde2b53c828c0912fca29a798002bf3c76dd
diff --git a/lib/cjel-rt b/lib/cjel-rt
index c3316db..0572083 160000
--- a/lib/cjel-rt
+++ b/lib/cjel-rt
@@ -1 +1 @@
-Subproject commit c3316db70c382e7a742eedfa8c37f46a2bb0b242
+Subproject commit 057208371b04a3f9f097b78910cec485fef6ff8d
diff --git a/lib/gtest b/lib/gtest
index d175c8b..4e4df22 160000
--- a/lib/gtest
+++ b/lib/gtest
@@ -1 +1 @@
-Subproject commit d175c8bf823e709d570772b038757fadf63bc632
+Subproject commit 4e4df226fc197c0dda6e37f5c8c3845ca1e73a49
diff --git a/lib/hayai b/lib/hayai
index 6959ca1..9ca0833 160000
--- a/lib/hayai
+++ b/lib/hayai
@@ -1 +1 @@
-Subproject commit 6959ca187e845f7fef1f0aa4704cbe695a8e2e45
+Subproject commit 9ca0833723ffe1af5b71050fd2e4f87a4c4eee11
diff --git a/lib/pass b/lib/pass
index 0856b0f..49f24ea 160000
--- a/lib/pass
+++ b/lib/pass
@@ -1 +1 @@
-Subproject commit 0856b0fba86181109aaaa3e7a20038d5c6ea4157
+Subproject commit 49f24eaa6d8dac3a7343748e855975ded4a56a8b
diff --git a/lib/stdhl b/lib/stdhl
index 8bb2277..ef847c4 160000
--- a/lib/stdhl
+++ b/lib/stdhl
@@ -1 +1 @@
-Subproject commit 8bb227783c8a8ada81ede41b850457f52899ca7b
+Subproject commit ef847c4297a021a2966b0db1469150ce7ca12eb9
diff --git a/lib/tptp b/lib/tptp
index d49f387..97c64b8 160000
--- a/lib/tptp
+++ b/lib/tptp
@@ -1 +1 @@
-Subproject commit d49f38794f43aa1644a3ea70678fa71540d50d80
+Subproject commit 97c64b84a9684ae38b9ad0fc0b972f9f0a21547b
diff --git a/lib/z3 b/lib/z3
index 5bc4c98..705439c 160000
--- a/lib/z3
+++ b/lib/z3
@@ -1 +1 @@
-Subproject commit 5bc4c9809e232d63f46018b200cb930bca993ce5
+Subproject commit 705439cb85d00453a2f3ed446d965de34393688e
diff --git a/var/doc/paulweber2018abz b/var/doc/paulweber2018abz
index 128a578..7629363 160000
--- a/var/doc/paulweber2018abz
+++ b/var/doc/paulweber2018abz
@@ -1 +1 @@
-Subproject commit 128a57817e18dcf5c8034176a27b4c8a48e56a70
+Subproject commit 7629363bf47cc475a9734151ce027deac568db6a
diff --git a/var/plugin/emacs b/var/plugin/emacs
index 2a69a9f..211f5f1 160000
--- a/var/plugin/emacs
+++ b/var/plugin/emacs
@@ -1 +1 @@
-Subproject commit 2a69a9f465924c19f5491b4db8355653897ce7a0
+Subproject commit 211f5f1a70455f1d0960096c7aa823b6cdb3bc90
diff --git a/var/plugin/monaco b/var/plugin/monaco
index 490a54d..a0c52ac 160000
--- a/var/plugin/monaco
+++ b/var/plugin/monaco
@@ -1 +1 @@
-Subproject commit 490a54dad6cfaf1c3cb1a2e7eba83a38b1cb3c45
+Subproject commit a0c52acf64403ddf2c74ea2891fbcd3a03af05b4
diff --git a/var/plugin/vscode b/var/plugin/vscode
index e0db5c3..77f54db 160000
--- a/var/plugin/vscode
+++ b/var/plugin/vscode
@@ -1 +1 @@
-Subproject commit e0db5c3077318b56add0e93dcbf33d2444ed7692
+Subproject commit 77f54db1a79e151b30533658e5939e83220cf884
diff --git a/var/release/0.1.0.txt b/var/release/0.1.0.txt
new file mode 100644
index 0000000..c64f7eb
--- /dev/null
+++ b/var/release/0.1.0.txt
@@ -0,0 +1,9 @@
+
+===== 0.1.0 =====
+{{tag>release}}
+
+<callout title="Release `auxentios`">
+June 4, 2018
+
+https://github.com/casm-lang/casm/releases/tag/0.1.0
+</callout>
diff --git a/var/web b/var/web
index 71048e6..6bf577c 160000
--- a/var/web
+++ b/var/web
@@ -1 +1 @@
-Subproject commit 71048e6bb48853928722b3a5acf6a98c5fbb4924
+Subproject commit 6bf577cb42900b4f732b0ade7e10a8286d210264