summaryrefslogtreecommitdiff
path: root/src/full/Agda/Syntax/Common.hs
Commit message (Expand)AuthorAge
* version 2.6.1HEAD2.6.1masterAndresSicardRamirez2020-03-16
* 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.1.12.5.1.1AndresSicardRamirez2016-06-21
* 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.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.02.4.0UlfNorell2014-06-05
* version 2.3.2.12.3.2.1AndresSicardRamirez2013-06-10
* 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.42.2.4NilsAndersDanielsson2009-07-07
* version 2.2.02.2.0NilsAndersDanielsson2009-03-17