masterdefaultc6c928fMerge pull request #4827 from ilyakooo0/lts-15.37 years ago lts-15.3dba5ef4Added note7 years ago appveyor-fix47d5336Fix Appveyor by pinning cabal7 years ago enable-8.4b780ddbLet's try Ubuntu xenial8 years ago

v1.3.279104f4Update version numbers ready for release7 years ago v1.3.11510fceUpdate version number8 years ago v1.3.061cf812Update version number8 years ago v1.2.0d77513bUpdate version number properly this time (sorry!)9 years ago v1.1.1cec8697Add missing 'Default-Language' field9 years ago v1.1.070f172cOkay, let's use semver... (increment to v1.1.0)9 years ago v1.0.17a54e9cUpdate version number9 years ago v1.0e371823Update version numbers10 years ago v0.99.2937c707Update version numbers10 years ago v0.99.1a624eb0Calculate SHA256 in mkpkg.sh10 years ago v0.994a54ee7Version increment to 0.9910 years ago v0.12.359577e6Update version number10 years ago v0.12.2a0c98e4Merge branch 'master' of github.com:idris-lang/Idris-dev10 years ago v0.12.15708455Update version10 years ago v0.125d937e1Update version numbers10 years ago v0.11.2f8e66f9Fix pruning when there are coercions10 years ago v0.11.111c7d46Fix test file path in idris.cabal10 years ago v0.113303747Version increment11 years ago v0.10.3df05f31Patch version increment11 years ago v0.10.2911b97dUpdate version number11 years ago v0.10.1fdb04afUpdate patch version11 years ago v0.106d9ef7bCHANGELOG version edit11 years ago v0.9.20.2426cb72Increment patch version number11 years ago v0.9.20.1140d06aMove normalisation of deferred types11 years ago v0.9.20913cddbVersion increment11 years ago v0.9.19.1ccf6c40Increment patch version11 years ago v0.9.198472399Update version number11 years ago v0.9.18.1c58ed3aUpdate version number11 years ago v0.9.18ad55342Fix syntax rule documentation11 years ago v0.9.17.19866d48Increment patch version number12 years ago v0.9.1711c5ceaFix missing imports in effects tutorial12 years ago v0.9.16b068758Merge pull request #1851 from david-christiansen/ide-names-fix12 years ago v0.9.15.1c25f72cUpdate version12 years ago v0.9.15e380d0cMerge pull request #1678 from edwinb/unify-fix12 years ago v0.9.14.28fadb31Update version number for CUFP release12 years ago v0.9.14.18407c27Update version number12 years ago v0.9.14dbc0539Merge pull request #1397 from jfdm/doc/effects12 years ago v0.9.13.13ac9e7dUpdate version for bugfix release12 years ago v0.9.134d215c1Update version number to 0.9.1312 years ago v0.9.12d2eaa28Update version number13 years ago v0.9.11b45f766Update version number to 0.9.1113 years ago v0.9.10a10bcf0Tweak CHANGELOG13 years ago