From ae1b4f9ccb2af9dfdde0c0f93f3710d3d3d9fc11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 7 May 2020 12:17:05 +0200
Subject: [PATCH] Example of sidenotes in the ACSL page.
---
html/acsl.html | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
diff --git a/html/acsl.html b/html/acsl.html
index 5ffe2036..17cc3892 100755
--- a/html/acsl.html
+++ b/html/acsl.html
@@ -6,6 +6,22 @@ active: 4
---
<h1>ANSI/ISO C Specification Language</h1>
+
+<h2>The C language</h2>
+
+<div class="sidecode">
+<pre>int main () {
+ int x;<sidenote>This is a variable declaration. Amazing!</sidenote><point></point>
+ x = 21;
+ int y;<sidenote>Yet another variable declaration.</sidenote><point></point>
+ y = 21;
+ int z;
+ z = x + y;
+ return z;<sidenote>And this is a function return, and a not so short sidenote. Let's see how this is diplayed on the website.</sidenote><point></point>
+}
+</pre>
+</div>
+
<h2>Quick description</h2>
<p>The ANSI/ISO C Specification Langage (ACSL) is a behavioral
specification language for C programs. The design of ACSL is
--
GitLab