Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-04-22 | treewide: Change URLs to HTTPS | Daniel Schaefer | 1 | -1/+1 |
2017-03-30 | aliceml: mark as broken | Joachim Fasting | 1 | -0/+1 |
2016-09-12 | treewide: explicitly specify gtk and related package versions | Kirill Boltaev | 1 | -3/+3 |
2016-06-03 | Fix lots of fetchgit hashes (fallout from #15469) | Tuomas Tynkkynen | 1 | -1/+1 |
2016-05-19 | treewide: Make explicit that 'dev' output of zlib is used | Tuomas Tynkkynen | 1 | -1/+1 |
2016-05-19 | treewide: Make explicit that 'dev' output of gmp is used | Tuomas Tynkkynen | 1 | -1/+1 |
2015-05-20 | aliceml: update version string | Pascal Wittmann | 1 | -1/+1 |
2015-03-25 | Update aliceml from git to get fix for tooltips in IDE | Chris Double | 1 | -2/+2 |
2014-11-18 | Update aliceml to use git version of Alice ML | Chris Double | 4 | -123/+66 |
2014-06-23 | aliceml: description improvements | Bjørn Forsman | 1 | -1/+6 |
2014-05-29 | Alice ML 1.4 programming language | Chris Double | 2 | -0/+141 |