Index: doc/refrat/.gitignore
===================================================================
--- doc/refrat/.gitignore	(revision d5f1cfcb3da36b3d88f9e2eecdc29fe3aae0843e)
+++ doc/refrat/.gitignore	(revision d5f1cfcb3da36b3d88f9e2eecdc29fe3aae0843e)
@@ -0,0 +1,14 @@
+# generated by latex
+*.aux
+*.bbl
+*.blg
+*.brf
+*.dvi
+*.idx
+*.ilg
+*.ind
+*.log
+*.out
+*.pdf
+*.ps
+*.toc
Index: doc/refrat/refrat.tex
===================================================================
--- doc/refrat/refrat.tex	(revision 7937abf354b8e749febe628bea58455f1f153459)
+++ doc/refrat/refrat.tex	(revision d5f1cfcb3da36b3d88f9e2eecdc29fe3aae0843e)
@@ -1,3 +1,4 @@
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -*- Mode: Latex -*- %%%%%%%%%%%%%%%%%%%%%%%%%%%%``%% 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -*- Mode: Latex -*- %%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%% 
 %% Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 %%
@@ -10,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:52:25 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Tue May  3 18:00:28 2016
-%% Update Count     : 64
+%% Last Modified On : Fri Jun  3 09:43:48 2016
+%% Update Count     : 66
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -29,12 +30,12 @@
 \usepackage{textcomp}
 \usepackage[latin1]{inputenc}
-\usepackage{upquote}
-\usepackage{fullpage,times}
+\usepackage{fullpage,times,comment}
 \usepackage{epic,eepic}
+\usepackage{upquote}									% switch curled `' to straight `'
 \usepackage{xspace}
-\usepackage{varioref}
-\usepackage{listings}
-\usepackage{comment}
-\usepackage{latexsym}                                   % \Box
+\usepackage{varioref}									% extended references
+\usepackage{listings}									% format program code
+\usepackage{footmisc}									% support label/reference in footnote
+\usepackage{latexsym}                                   % \Box glyph
 \usepackage{mathptmx}                                   % better math font with "times"
 \usepackage[pagewise]{lineno}