Permalink
Browse files

add footer back since it has "submitted to" and date info

  • Loading branch information...
1 parent e5af52e commit da3db55a13fe2febf12d2d4958d037359c6bc331 Brent Yorgey committed Jul 31, 2013
Showing with 1 addition and 1 deletion.
  1. +1 −1 semantics/FARM/abstract.lhs
@@ -101,7 +101,7 @@
\begin{document}
-\thispagestyle{empty}
+%\thispagestyle{empty}
\title{Functional \pkg{active} programming}
\subtitle{Demonstration proposal}

0 comments on commit da3db55

Please sign in to comment.