fixup version number in manual

Author: pirbo

man/KaSim_manual.pdf

@@ -21,7 +21,6 @@
 \usepackage{verbatim} % adds environment for commenting out blocks of text & for better verbatim
 \usepackage{amsmath}
 
-\usepackage{hyperref}
 \usepackage{makeidx}
 \usepackage{color}
 
@@ -65,7 +64,7 @@
 \def\version{3}
 
 
-\title{KaSim\version~reference manual\\ \small (release 3.4)}
+\title{KaSim\version~reference manual\\ \small (release 3.5)}
 \author{J\'er\^ome Feret and Jean Krivine\thanks{corresponding author: jean.krivine@pps.univ-paris-diderot.fr} \\\url{KappaLanguage.org}}
 
 \date{}