From 9dfedafe98e195967cc6e0cce1370ac24c0d2533 Mon Sep 17 00:00:00 2001 From: Tiago Gomes Date: Fri, 25 Jan 2013 13:45:35 +0000 Subject: [PATCH] PFL manual: small improvements --- packages/CLPBN/pfl.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/CLPBN/pfl.tex b/packages/CLPBN/pfl.tex index f0ca5ba27..27f051424 100644 --- a/packages/CLPBN/pfl.tex +++ b/packages/CLPBN/pfl.tex @@ -38,7 +38,7 @@ CRACS \& INESC TEC, Faculty of Sciences, University of Porto \thispagestyle{empty} \vspace{5cm} \begin{center} - \large Last revision: January 11, 2013 + \large Last revision: January 18, 2013 \end{center} \newpage @@ -60,7 +60,7 @@ The package also includes implementations for a set of well-known inference algo %------------------------------------------------------------------------------ %------------------------------------------------------------------------------ \section{Installation} -PFL is included with the \href{http://www.dcc.fc.up.pt/~vsc/Yap/}{YAP} Prolog system. However, there isn't yet a stable release of YAP that includes PFL. So you will need to install a development version of YAP. To to so, you must have installed the \href{http://git-scm.com/}{Git} version control system. The commands to perform a default installation of YAP in your home directory in a Unix-based environment are shown next. +PFL is included with the \href{http://www.dcc.fc.up.pt/~vsc/Yap/}{YAP} Prolog system. However, there isn't yet a stable release of YAP that includes PFL and you will need to install a development version. To do so, you must have installed the \href{http://git-scm.com/}{Git} version control system. The commands to perform a default installation of YAP in your home directory in a Unix-based environment are shown next. \begin{enumerate} \setlength\itemindent{-0.01cm}