19 Commits (2a2064a6703227e76bda9c3b1a62373ab6d92b9f)

Author	SHA1	Message	Date
Mike Gerwitz	8ae5475f2d	Added bug and regression terms	2013-08-20 14:54:18 -04:00
Mike Gerwitz	6e80dace89	Added monoline and package definitions	2013-08-20 14:54:16 -04:00
Mike Gerwitz	4dc612b545	Added abstract with copyright notice	2013-08-20 14:54:12 -04:00
Mike Gerwitz	14c6e8e6d3	Added square and left arrow symbols to spec definitions	2013-08-20 14:54:10 -04:00
Mike Gerwitz	14b760a1d6	Added authorization parties for all existing spec content	2013-08-20 14:54:10 -04:00
Mike Gerwitz	281055327f	Added support for \dept and authorized parties section	2013-08-20 14:54:10 -04:00
Mike Gerwitz	4f9679c6e3	Added \top and \bot to definitions	2013-08-20 14:54:08 -04:00
Mike Gerwitz	b1b8e91d11	Clarified shall and shall not definitions to state that the results are undefined if the requirement is not obeyed	2013-08-20 14:54:08 -04:00
Mike Gerwitz	1db8d756bb	dw* types that use ISO class codes in specs now use \classcode macro	2013-08-20 14:54:07 -04:00
Mike Gerwitz	002d1d5daf	Added ISO class codes to insurance definitions	2013-08-20 14:54:07 -04:00
Mike Gerwitz	6d3ee9dd9f	Added index entries for the majority of the text thusfar	2013-08-20 14:54:07 -04:00
Mike Gerwitz	9b4cae6930	Resolved overflow with associative array definition	2013-08-20 14:54:06 -04:00
Mike Gerwitz	82363d59be	Added symbols to term list for section and paragraph references	2013-08-20 14:54:06 -04:00
Mike Gerwitz	52804e5c6e	Added "section" term	2013-08-20 14:54:05 -04:00
Mike Gerwitz	5fb3554f26	Sorted spec.tex terms	2013-08-20 14:54:05 -04:00
Mike Gerwitz	9d7f89fdd8	Added Exempt definition to specs	2013-08-20 14:54:04 -04:00
Mike Gerwitz	b925d2e7e0	Added "associative array" definition	2013-08-20 14:54:04 -04:00
Mike Gerwitz	04e28f3a4a	Spec "Software" => "implementation"	2013-08-20 14:54:04 -04:00
Mike Gerwitz	86e9bcdc4c	Refactored definition lists into their own files; moved output to dwspec package	2013-08-20 14:54:04 -04:00