From 77207aa14cfca98ba87e297db3122551e7209d5d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= Date: Wed, 8 Jan 2025 22:28:23 +0100 Subject: [PATCH] Update book.toml (#25) --- book.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book.toml b/book.toml index f4ffa64..9ab628f 100644 --- a/book.toml +++ b/book.toml @@ -3,7 +3,7 @@ authors = ["Ali Gottschall", "João Pereira"] language = "en" multilingual = false src = "src" -title = "Practical Program Verification in Go with Gobra" +title = "Practical Program Verification in Go with Gobra (alpha)" [output.html] theme = "theme"