Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
![]() |
|||||||
![]() |
751 | 14 years ago | Gregor Middell | split source up into modules |
![]() |
||
![]() |
915 | 13 years ago | Gregor Middell | code cleanup; module separation |
![]() |
||
![]() |
915 | 13 years ago | Gregor Middell | code cleanup; module separation |
![]() |
||
![]() |
752 | 14 years ago | Gregor Middell | moved out elder packages into legacy module |
![]() |
||
![]() |
783 | 14 years ago | Gregor Middell | ported web layer over to spring; removed web modul |
![]() |
||
![]() |
792.1.6 | 13 years ago | Gregor Middell | pre-release cleanup |
![]() |
||
![]() |
784 | 14 years ago | Gregor Middell | moved spring package so it becomes the new web lay |
![]() |
||
![]() |
798.1.29 | 13 years ago | Bram Buitendijk | [BB] committed untracked files |
![]() |
||
![]() |
1041 | 13 years ago | Gregor Middell | moved graphviz server to separate module; housekee |
![]() |
||
![]() |
363 | 15 years ago | bram-buitendijk | [BB] hide colored witnesses |
![]() |
||
![]() |
363 | 15 years ago | bram-buitendijk | [BB] hide colored witnesses |
![]() |
||
![]() |
1041 | 13 years ago | Gregor Middell | moved graphviz server to separate module; housekee | 173 bytes |
![]() |
![]() |
![]() |
792.1.7 | 13 years ago | Gregor Middell | pre-release cleanup; added license headers | 764 bytes |
![]() |
![]() |
![]() |
912 | 13 years ago | Gregor Middell | removed exec flag from normal files | 910 bytes |
![]() |
![]() |
![]() |
883 | 13 years ago | Bram | [BB] Show graph of result | 1003 bytes |
![]() |
![]() |
![]() |
913 | 13 years ago | Gregor Middell | merged trunk (does not compile yet) | 34.3 KB |
![]() |
![]() |
![]() |
915 | 13 years ago | Gregor Middell | code cleanup; module separation | 8.9 KB |
![]() |
![]() |
![]() |
913 | 13 years ago | Gregor Middell | merged trunk (does not compile yet) | 132 bytes |
![]() |
![]() |
![]() |
895 | 13 years ago | Bram | [BB] svg output | 4 KB |
![]() |
![]() |
![]() |
895 | 13 years ago | Bram | [BB] svg output | 4.5 KB |
![]() |
![]() |
![]() |
901 | 13 years ago | Bram Buitendijk | Modifications | 856 bytes |
![]() |
![]() |
![]() |
901 | 13 years ago | Bram Buitendijk | Modifications | 483 bytes |
![]() |
![]() |
![]() |
901 | 13 years ago | Bram Buitendijk | Modifications | 470 bytes |
![]() |
![]() |