Commit 7a87df69 authored by Michael Hanus 's avatar Michael Hanus

Stand-alone doc added

parent ec068339
*~
cdoc/
.curry
.cpm
src/CASS/PackageConfig.curry
\documentclass[11pt,fleqn]{article}
\usepackage[T1]{fontenc}
\usepackage{latexsym}
\usepackage{url}
\usepackage{xspace}
\usepackage{graphicx}
\setlength{\textwidth}{16.5cm}
\setlength{\textheight}{23cm}
\renewcommand{\baselinestretch}{1.1}
\setlength{\topmargin}{-1cm}
\setlength{\oddsidemargin}{0cm}
\setlength{\evensidemargin}{0cm}
\setlength{\marginparwidth}{0.0cm}
\setlength{\marginparsep}{0.0cm}
\newlength{\figurewidth}
\setlength{\figurewidth}{\textwidth}
\addtolength{\figurewidth}{-0.4cm}
% font for program texts
\renewcommand{\tt}{\usefont{OT1}{cmtt}{m}{n}\selectfont}
\newcommand{\codefont}{\small\tt}
\usepackage{listings}
\lstset{aboveskip=1.5ex,
belowskip=1.5ex,
showstringspaces=false, % no special string space
mathescape=true,
flexiblecolumns=false,
xleftmargin=2ex,
basewidth=0.52em,
basicstyle=\small\ttfamily}
\lstset{literate={->}{{$\rightarrow{}\!\!\!$}}3
}
\lstnewenvironment{curry}{}{}
\lstnewenvironment{currynomath}{\lstset{mathescape=false}}{} % Curry w/o math
\newcommand{\listline}{\vrule width0pt depth1.75ex}
% program text in normal text
\newcommand{\code}[1]{\mbox{\codefont #1}}
% program text in normal text with apostrophs
\newcommand{\ccode}[1]{``\code{#1}''}
\newcommand{\pindex}[1]{\index{#1@{\tt #1}}} % program elements in index
\newcommand{\CYS}{Curry\xspace} % name of the Curry system described here
\newcommand{\cyshome}{\mbox{\textit{curryhome}}\xspace} % symbolic installation directory
\begin{document}
\sloppy
\input{manual.tex}
% Bibliography
\begin{thebibliography}{10}
\bibitem{HanusSkrlac14}
M.~Hanus and F.~Skrlac.
\newblock A modular and generic analysis server system for functional logic
programs.
\newblock In {\em Proc. of the ACM SIGPLAN 2014 Workshop on Partial Evaluation
and Program Manipulation (PEPM'14)}, pages 181--188. ACM Press, 2014.
\end{thebibliography}
\end{document}
......@@ -23,8 +23,7 @@ of a programmer who is interested to analyze Curry programs.
\subsection{Installation}
The current implementation of CASS is a package
managed by the Curry Package Manager CPM
(see also Section~\ref{sec-cpm}).
managed by the Curry Package Manager CPM.
Thus, to install the newest version of CASS, use the following commands:
%
\begin{curry}
......
......@@ -16,6 +16,10 @@
"name": "cass",
"main": "CASS.Main"
},
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/cass.git",
"tag": "$version"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment