From d0700b00ea6eebc070b1049646d253565d7feda5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 28 Nov 2020 11:07:34 +0000 Subject: Update website css --- docs/proof/Compiler.html | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'docs/proof') diff --git a/docs/proof/Compiler.html b/docs/proof/Compiler.html index fa9c633..173d581 100644 --- a/docs/proof/Compiler.html +++ b/docs/proof/Compiler.html @@ -13,7 +13,15 @@ - + +

+ +

Compiler Proof

-- cgit