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 + + + + + + + + +