summaryrefslogtreecommitdiff
path: root/src/full/Agda/Syntax/Internal.hs
Commit message (Expand)AuthorAge
* version 2.6.0.1HEAD2.6.0.1masterAndresSicardRamirez2019-05-17
* version 2.6.02.6.0AndresSicardRamirez2019-04-12
* version 2.5.42.5.4AndresSicardRamirez2018-06-02
* version 2.5.32.5.3AndresSicardRamirez2017-09-08
* version 2.5.22.5.2AndresSicardRamirez2016-12-22
* version 2.5.12.5.1AndresSicardRamirez2016-04-16
* version 2.4.2.52.4.2.5AndresSicardRamirez2015-12-18
* version 2.4.2.42.4.2.4AndresSicardRamirez2015-09-26
* version 2.4.2.32.4.2.3AndresSicardRamirez2015-05-25
* version 2.4.2.22.4.2.2AndresSicardRamirez2014-11-26
* version 2.4.2.12.4.2.1AndresSicardRamirez2014-11-13
* version 2.4.22.4.2UlfNorell2014-08-29
* version 2.4.0.22.4.0.2AndreasAbel2014-07-29
* version 2.4.0.12.4.0.1UlfNorell2014-06-16
* version 2.4.02.4.0UlfNorell2014-06-05
* version 2.3.22.3.2AndreasAbel2012-11-12
* version 2.3.02.3.0UlfNorell2011-11-23
* version 2.2.102.2.10NilsAndersDanielsson2011-02-20
* version 2.2.82.2.8NilsAndersDanielsson2010-09-27
* version 2.2.62.2.6NilsAndersDanielsson2009-12-23
* version 2.2.22.2.2NilsAndersDanielsson2009-04-16
* version 2.2.02.2.0NilsAndersDanielsson2009-03-17