From 2cd63532290a74f1f761cd86d89debec4ed6f5e7 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 15 Feb 2016 20:39:41 +0100
Subject: Task 2

---
 senc.sty | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'senc.sty')

diff --git a/senc.sty b/senc.sty
index f08edb0..9a6af38 100644
--- a/senc.sty
+++ b/senc.sty
@@ -1,4 +1,4 @@
-\RequirePackage{amssymb,amsmath,stmaryrd}
+\RequirePackage{amssymb,amsmath,stmaryrd,alltt,color}
 
 \def\A#1{\mathcal{A}\left\llbracket#1\right\rrbracket}
 \def\B#1{\mathcal{B}\left\llbracket#1\right\rrbracket}
@@ -13,3 +13,15 @@
 \def\AND{\mathtt{\;\&\&\;}}
 \def\OR{\mathtt{\;||\;}}
 
+\newcommand{\sdowhile}[2]{\mbox{\texttt{do~}}#1\mbox{\texttt{~while~}}#2}
+\def\ruleif#1{\using{\enspace\text{if }#1}}
+\def\axif#1{\enspace\text{if }#1}
+
+% Engelbert Hubbers, Annotated Programs
+\input{sl1defs}
+\newcommand{\pass}[2]{\left[#1\mapsto\calA{#2}\right]}
+\newcommand{\smaller}[1]{{\small\textcolor{red}{#1}}}
+\renewcommand{\allttsup}[1]{\begin{math}^{\textcolor{red}{#1}}\end{math}}
+%\renewcommand{\allttsub}[1]{\begin{math}_{\textcolor{red}{#1}}\end{math}}
+\renewcommand{\psqan}[5]{\{#1\}^{\textcolor{red}{#4}}\espace #2 \espace \{#3\}^{\textcolor{red}{#5}}}
+
-- 
cgit v1.2.3