Mike Gerwitz
4dc612b545
Added abstract with copyright notice
2013-08-20 14:54:12 -04:00
Mike Gerwitz
ad1e96799f
Added minitoc to output chapter toc after chapter heading
2013-08-20 14:54:12 -04:00
Mike Gerwitz
5ea01427ef
Added ISO territory list
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
93cba86c3e
Added index-generated files to .gitignore
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
2ed1c1fcef
Added verstr.tex generation and \verstr macro
2013-08-20 14:54:05 -04:00
Mike Gerwitz
abd2ec8a78
Added *.out files (generated by pdflatex) to .gitignore
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
Mike Gerwitz
d833190aa2
Initial concept for specs, including many definitions, floating point documentation, paragraph numbering and others
...
Still has to be separated into packages. Furthermore, there is a bug with numbering multiple examples for the same paragraph that I am having trouble figuring out.
2013-08-20 14:54:03 -04:00
Mike Gerwitz