Jalopy
Jalopy
Line endings
Added displaying of file sizes
Corrected file_length function
Updated the overview.svg to reflect changes in the first proof
Switched from Codehaus' JXR plugin to Apache Maven's
Set version for Cobertura report plugin to 2.5.2
Merge branch 'master' of https://github.com/KRD-KOMM-VL/verifikasjonsprogramvare
Added the bulletin board