From fb294fa183c9d98bd300735bf406a00df0692943 Mon Sep 17 00:00:00 2001 From: Rob Vermaas Date: Fri, 19 Mar 2010 13:42:05 +0000 Subject: [PATCH] start of hydra manual --- doc/manual/manual.xml | 51 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 doc/manual/manual.xml diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml new file mode 100644 index 00000000..0fce0d6f --- /dev/null +++ b/doc/manual/manual.xml @@ -0,0 +1,51 @@ + + + + + Hydra User's Guide + + Draft + + + + + Eelco + Dolstra + + + Delft University of Technology + Department of Software Technology + + Author + + + + Rob + Vermaas + + + Delft University of Technology + Department of Software Technology + + Author + + + + + + 2009 + 2010 + Eelco Dolstra + + + March 2010 + + + + + + + + +