summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/Manifest (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Added newer PolyML version for IsabelleRené 'Necoro' Neumann2010-03-021-0/+2
generated by cgit v1.2.3-70-g09d2 (git 2.46.2) at 2024-10-19 02:21:29 +0000
/span> 35 hoursAdd User dropdownRené 'Necoro' Neumann2-9/+61 36 hoursMove from html/template to templRené 'Necoro' Neumann27-340/+1138 2 daysHandle login routing at login pageRené 'Necoro' Neumann2-16/+22 2 daysRestructure and change to chi as muxing frameworkRené 'Necoro' Neumann9-140/+197