new

nlsem-framework/note.tex

+\documentclass[11pt]{bluenote}
+\usepackage{url,graphicx,wrapfig}
+\usepackage[show]{ed}
+\blueProject{MaMoReD}
+%\blueURI{http://imkt.org}
+\usepackage[hyperref=auto,style=alphabetic,isbn=false,backend=bibtex]{biblatex}
+%\usepackage{bibtweaks}
+\addbibresource{../kbibs/preamble}
+\addbibresource{../kbibs/kwarcpubs}
+\addbibresource{../kbibs/extpubs}
+\addbibresource{../kbibs/kwarccrossrefs}
+\addbibresource{../kbibs/extcrossrefs}
+\usepackage{hyperref} 
+\usepackage{xspace}
+\usepackage{paralist}
+\title{Active Documents about Models} 
+\author{Michael Kohlhase, Dennis M\"uller, Frederik Sch\"afer\\Computer Science,  FAU
+  Erlangen-N\"urnberg\\\url{http://kwarc.info}}
+
+\begin{document}
+\maketitle
+
+\begin{abstract}
+  In this note we present how a combination of GF and MMT can be used as a development
+  framework for natural language semantics.
+\end{abstract}
+\tableofcontents\newpage
+\section{Introduction}\label{sec:intro}
+
+\section{Conclusion}\label{sec:concl}
+
+\printbibliography
+\end{document}
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End: