 Mike Gerwitz
|
d478cfbff7
|
Added definition details to lvspec.tex
|
2013-08-22 11:13:12 -04:00 |
|
Mike Gerwitz
|
9e8be87dcd
|
Added insurance terminology
|
2013-08-21 13:45:41 -04:00 |
|
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 |