/ darcsweb / shortlog| Date | Author | Description | |
|---|---|---|---|
| 2 weeks ago | fritjof@alokat.org | Add formal verification with Rocq and property-based testing. | diff |
| 3 weeks ago | fritjof@alokat.org | Add diff highlighting. | diff |
| 3 weeks ago | fritjof@alokat.org | Hardening the path evalation. | diff |
| 3 weeks ago | fritjof@alokat.org | Add tree view to navigation and polish the date view. | diff |
| 3 weeks ago | fritjof@alokat.org | Clean up the header. | diff |
| 3 weeks ago | fritjof@alokat.org | Initial commit of darcs web. | diff |