Matt McCutchen's Web Site
/
match
/
match.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' into popl2012
[match/match.git]
/
paper
/
paper.tex
diff --git
a/paper/paper.tex
b/paper/paper.tex
index
fd0bd2c
..
e8222a4
100644
(file)
--- a/
paper/paper.tex
+++ b/
paper/paper.tex
@@
-263,7
+263,7
@@
to the scenario and document the experience gained.
\section{Getting the Tool}
A distribution containing the source code for the matching tool as well as this
\section{Getting the Tool}
A distribution containing the source code for the matching tool as well as this
-document may be browsed or downloaded at
(NOT YET)
:
+document may be browsed or downloaded at:
\[\hbox{\url{https://mattmccutchen.net/match/}}\]
There are currently two branches:
\begin{itemize}
\[\hbox{\url{https://mattmccutchen.net/match/}}\]
There are currently two branches:
\begin{itemize}