Commits

Author Commit Message Labels Comments Date
Jeroen Ruigrok van der Werven
Get rid of the section numbers, they are auto-generated.
Jeroen Ruigrok van der Werven
Bring section elements one level down.
Jeroen Ruigrok van der Werven
Get rid of section numbers, they're generated automatically.
Jeroen Ruigrok van der Werven
Add $Id$. Fix second level indent.
Jeroen Ruigrok van der Werven
Add $Id$. Fix second level indent of DTD.
Jeroen Ruigrok van der Werven
Remove the numbering, it is generated automatically.
Jeroen Ruigrok van der Werven
Use the DERA colophon.
Jeroen Ruigrok van der Werven
Fix the last empty <p> warnings by reordering the DocBook tags to use less para elements where it made no sense.
Jeroen Ruigrok van der Werven
Add DocBook/XML conversion of TDF Diagnostic Specification.
Jeroen Ruigrok van der Werven
Add common directory for standard XML snippets to be included in other documentation.
Jeroen Ruigrok van der Werven
Add some extra docbook-xsl options, pass --xinclude to xsltproc. Reorder command line.
Jeroen Ruigrok van der Werven
Change DTD to use 4.4.
Jeroen Ruigrok van der Werven
Fix the number of colums of two tables.
Jeroen Ruigrok van der Werven
Convert the appendix to a real appendix instead of a chapter.
Jeroen Ruigrok van der Werven
Add a generated timestamp.
Jeroen Ruigrok van der Werven
Remove numbering from tables, they are autogenerated.
Jeroen Ruigrok van der Werven
Add the OSF RI paper: Validation of TenDRA Capability to Implement a UNIX-like Operating System
Jeroen Ruigrok van der Werven
Add more options to the transformation.
Jeroen Ruigrok van der Werven
Fix united to United. Restructure one paragraph to fit the rest of the history.
Jeroen Ruigrok van der Werven
Update URL to point to the correct report.
Jeroen Ruigrok van der Werven
Expand the DERA history section significantly.
Jeroen Ruigrok van der Werven
Add question category divisions. Reorder and make the XML valid.
Jeroen Ruigrok van der Werven
Add blank line after comment. Fix <author> use (add firstname and surname). Add copyright part. Add generated timestamp.
Jeroen Ruigrok van der Werven
Add Id in XML comment.
Jeroen Ruigrok van der Werven
Point to the relevant section within tcpplus about #pragma token.
Jeroen Ruigrok van der Werven
Fix ulink url to point to the right directory/file.
Jeroen Ruigrok van der Werven
Add a generated timestamp.
Jeroen Ruigrok van der Werven
Enable xsltproc flags.
Jeroen Ruigrok van der Werven
Add individual Makefiles.
Jeroen Ruigrok van der Werven
Add details for adding in the stylesheet (disabled for now).
  1. Prev
  2. Next