summaryrefslogtreecommitdiff
path: root/src/full/Agda/Termination/CutOff.hs
Commit message (Expand)AuthorAge
* version 2.5.42.5.4AndresSicardRamirez2018-06-02
* version 2.5.32.5.3AndresSicardRamirez2017-09-08
* version 2.4.2.32.4.2.3AndresSicardRamirez2015-05-25
* version 2.4.02.4.0UlfNorell2014-06-05