compilers
|
Added Agda-executable.
|
2011-04-07 12:10:38 +00:00 |
eclipse
|
update ecj version
|
2010-11-22 14:50:52 +00:00 |
guile-modules
|
Guile-Lib 0.2.0.
|
2011-03-28 12:05:17 +00:00 |
interpreters
|
* By popular demand, restore Python 2.6.
|
2011-04-06 21:57:30 +00:00 |
libraries
|
Updated uu-parsinglib.
|
2011-04-07 08:30:28 +00:00 |
misc
|
* More cleanup.
|
2010-07-28 18:01:17 +00:00 |
ocaml-modules
|
Matita and its dependencies.
|
2010-12-31 17:48:55 +00:00 |
ruby-modules
|
Rake: Fix build. Patch by Ilya Cassina.
|
2010-10-26 01:15:42 +00:00 |
tools
|
Adding giv.
|
2011-04-06 10:00:48 +00:00 |