Update title and header

informalsystems · Nov 13, 2023 · 61d26d5 · 61d26d5
1 parent 4af5c88
commit 61d26d5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/adr008-managing-apalache.md b/doc/adr008-managing-apalache.md
@@ -1,8 +1,8 @@
-# RFC008: Obtaining and Launching Apalache from Quint
+# ADR008: Obtaining and Launching Apalache from Quint
 
 | Revision | Date       | Author           |
 | :------- | :--------- | :--------------- |
-| 1        | 2023-08-09 | Thomas Pani      |
+| 1        | 2023-11-13 | Thomas Pani      |
 
 ## 1. Summary