From 922fec6b584a9de72c42036fbb415fa3e06a7a4e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 6 Apr 2018 14:47:12 +0100
Subject: Update sail.tex for wip latex output

Fix a bug in initial check which caused X() = y to expect an additional parameter.

Some tweaks to sail2 emacs mode
---
 lib/sail.tex | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/sail.tex b/lib/sail.tex
index a1ae86c0..d6c6d894 100644
--- a/lib/sail.tex
+++ b/lib/sail.tex
@@ -3,7 +3,9 @@
 \usepackage[svgnames]{xcolor}
 \usepackage{fullpage}
 \usepackage{listings}
-\usepackage[hidelinks]{hyperref}
+\usepackage{hyperref}
+
+\hypersetup{colorlinks=true,linkcolor=DarkRed}
 
 \lstset{
   basicstyle=\ttfamily\small,
@@ -13,7 +15,7 @@
 }
 
 \lstdefinelanguage{sail}
-  { morekeywords={val,function,cast,type,forall,overload,operator,enum,union,undefined,exit,and,assert,sizeof
+  { morekeywords={val,function,cast,type,forall,overload,operator,enum,union,undefined,exit,and,assert,sizeof,
       scattered,register,inc,dec,if,then,else,effect,let,as,@,in,end,Type,Int,Order,match,clause,struct},
     keywordstyle={\bf\ttfamily\color{blue}},
     morestring=[b]",
@@ -30,6 +32,9 @@
 
 \lstset{language=sail}
 
+\def\sail{\trivlist \item\relax}
+\def\endsail{\endtrivlist}
+
 \begin{document}
 
 \include{out}
-- 
cgit v1.2.3