Skip to content

Commit 83ede9b

Browse files
ivanperez-keeraivanperez-keera
committed
Merge branch 'develop-remove-tabs' into src. Close #51.
2 parents c547cfb + 51b0bb5 commit 83ede9b

File tree

2 files changed

+56
-56
lines changed

2 files changed

+56
-56
lines changed

‎tpl/default‎

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,22 @@
33
cat <<!
44
<!DOCTYPE html>
55
<html>
6-
<head>
7-
<title>Copilot: $TITLE</title>
8-
<meta charset="utf-8">
9-
<link rel="stylesheet" href="style.css">
10-
<link rel="stylesheet" href="haskell.css">
11-
<body>
12-
<div id="page">
13-
<div id="header">
14-
<a href="index.html">Copilot</a>
15-
<span>Realtime Programming Language and Runtime Verification Framework</span>
16-
</div>
17-
<div id="menu">$NAV</div>
18-
<div id="content">
19-
$CONTENT
20-
</div>
21-
</div>
22-
</body>
6+
<head>
7+
<title>Copilot: $TITLE</title>
8+
<meta charset="utf-8">
9+
<link rel="stylesheet" href="style.css">
10+
<link rel="stylesheet" href="haskell.css">
11+
<body>
12+
<div id="page">
13+
<div id="header">
14+
<a href="index.html">Copilot</a>
15+
<span>Realtime Programming Language and Runtime Verification Framework</span>
16+
</div>
17+
<div id="menu">$NAV</div>
18+
<div id="content">
19+
$CONTENT
20+
</div>
21+
</div>
22+
</body>
2323
</html>
2424
!

‎tpl/home‎

Lines changed: 39 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -3,38 +3,38 @@
33
cat <<!
44
<!DOCTYPE html>
55
<html>
6-
<head>
7-
<title>Copilot: $TITLE</title>
8-
<meta charset="utf-8">
9-
<link rel="stylesheet" href="style.css">
10-
<link rel="stylesheet" href="haskell.css">
11-
<link rel="stylesheet" href="home.css">
12-
<body>
13-
<div id="page">
14-
<div id="header">
15-
<a href="index.html">Copilot</a>
16-
<span>Realtime Programming Language and Runtime Verification Framework</span>
17-
</div>
18-
<div id="menu">$NAV</div>
19-
<div id="panel">
20-
<div class="left">
21-
<p>
22-
Copilot is a realtime programming language and Runtime Verification
23-
framework. It allows users to write concise programs in a simple
24-
but powerful way using a stream-based approach.
25-
</p>
26-
<p>
27-
Programs can be interpreted for testing, or translated C99 code to be
28-
incorporated in a project, or as a standalone application. The C99
29-
backend ensures us that the output is constant in memory and time,
30-
making it suitable for systems with hard realtime requirements.
31-
</p>
32-
<p>
33-
<a href="about.html">Learn more about the project...</a>
34-
</p>
35-
</div>
36-
<div class="right">
37-
<pre><code class="language-haskell"><mark class="comment">-- Raw temperature from sensor, range -50.0C to 100.0C.</mark>
6+
<head>
7+
<title>Copilot: $TITLE</title>
8+
<meta charset="utf-8">
9+
<link rel="stylesheet" href="style.css">
10+
<link rel="stylesheet" href="haskell.css">
11+
<link rel="stylesheet" href="home.css">
12+
<body>
13+
<div id="page">
14+
<div id="header">
15+
<a href="index.html">Copilot</a>
16+
<span>Realtime Programming Language and Runtime Verification Framework</span>
17+
</div>
18+
<div id="menu">$NAV</div>
19+
<div id="panel">
20+
<div class="left">
21+
<p>
22+
Copilot is a realtime programming language and Runtime Verification
23+
framework. It allows users to write concise programs in a simple
24+
but powerful way using a stream-based approach.
25+
</p>
26+
<p>
27+
Programs can be interpreted for testing, or translated C99 code to be
28+
incorporated in a project, or as a standalone application. The C99
29+
backend ensures us that the output is constant in memory and time,
30+
making it suitable for systems with hard realtime requirements.
31+
</p>
32+
<p>
33+
<a href="about.html">Learn more about the project...</a>
34+
</p>
35+
</div>
36+
<div class="right">
37+
<pre><code class="language-haskell"><mark class="comment">-- Raw temperature from sensor, range -50.0C to 100.0C.</mark>
3838
temp :: Stream Word8
3939
temp = extern <mark class="string">"temperature"</mark> Nothing
4040
@@ -46,12 +46,12 @@ ctemp = (unsafeCast temp) * (<mark class="literal">150.0</mark> / <mark class="l
4646
spec = do
4747
trigger <mark class="string">"heaton"</mark> (ctemp < <mark class="literal">18.0</mark>) [arg ctemp]
4848
trigger <mark class="string">"heatoff"</mark> (ctemp > <mark class="literal">21.0</mark>) [arg ctemp]</code></pre>
49-
</div>
50-
</div>
51-
<div id="content">
52-
$CONTENT
53-
</div>
54-
</div>
55-
</body>
49+
</div>
50+
</div>
51+
<div id="content">
52+
$CONTENT
53+
</div>
54+
</div>
55+
</body>
5656
</html>
5757
!

0 commit comments

Comments
 (0)