deleted package xspace form default inclusion into pplmanual manuals.
[charm.git] / doc / jade / manual.tex
index 1cf6d2eb064f19e9d0d084ac6e120415b09340b3..c2f223844fb0200a7ae2ed1aaeb99630336442c8 100644 (file)
@@ -1,7 +1,10 @@
 \documentclass[10pt]{article}
 \usepackage{../pplmanual}
+\usepackage{xspace}
+\renewcommand{\jade}{Jade\xspace}
 \input{../pplmanual}
 
+
 \title{Jade Language Manual}
 \version{1.0}
 \credits{