Tools used in the project

Benz

This tool is for doing performance measurements. The tool is still under development so be aware that some features may change in future releases.

Brief introduction: [pdf]
Installation and user guides (in Danish): [pdf]
Online documentation: [html]
Benchmark-form generator: [php]

CVS

A version control system used for recording the history of all documents.

Ultra-short introduction: [ps]
Online documentation: [html]

LaTeX

A typesetting system used for the production of documentation.

Instructions to use our style files and the style files themselves: [tar.gz] [DIKU-article.cls] [DIKU-report.cls] [DIKU.bst] [DIKU-alternative.bst] [hyphenation.txt] [landscape-slides.sty]
Online documentation: [html]

Python

A programming language used for all scripting.

Online documentation: [html]