Age | Commit message (Expand) | Author |
---|---|---|
2018-03-17 | gnu: Fix common unquote typos.... | Tobias Geerinckx-Rice |
2017-12-13 | gnu: polyml: Update to 5.7.1.... | Tobias Geerinckx-Rice |
2017-07-17 | gnu: Add Poly/ML.... | Andy Patterson | gnu: mes: Update to 0.7.... | Jan Nieuwenhuizen |
2017-06-04 | gnu: nyacc: Update to 0.79.4.... | Jan Nieuwenhuizen |
2017-05-17 | gnu: mes: Don't fail when (%current-target-system) is #f.... | Marius Bakke |
2017-05-17 | gnu: mes: Update to 0.6.... | Jan Nieuwenhuizen |
2017-05-14 | gnu: Add Nyacc.... | Jan Nieuwenhuizen |
2017-05-03 | gnu: Add mes.... | Jan Nieuwenhuizen |