Mike Gerwitz 8ae5475f2d Added bug and regression terms		2013-08-20 14:54:18 -04:00
..
authparty.tex	Added abstract with copyright notice	2013-08-20 14:54:12 -04:00
dev.tex	Added bug and regression terms	2013-08-20 14:54:18 -04:00
ins.tex	Added monoline and package definitions	2013-08-20 14:54:16 -04:00
spec.tex	Added square and left arrow symbols to spec definitions	2013-08-20 14:54:10 -04:00