description37d9cfeea1590a960ebb98475fbe6764c8
last changeTue, 3 Jan 2012 15:18:15 +0000 (16:18 +0100)
shortlog
2012-01-03 Gabriel Scherera Quick & Ugly fix to a xMLF term printer bug master
2011-12-09 Gabriel Schererfix a very silly and hard to spot bug in union_find.ml
2011-11-08 Gabriel Schereradditional comments on GSolve.normalize, from a questio...
2011-10-27 Gabriel Scherercosmetic change to GType.close_gen, suggested by Guilla...
2011-09-25 Gabriel Schererdot snapshot disabled unless DEBUG_UNIFICATION_ERROR...
2011-08-22 Gabriel Schererminor test code modification to match Kaputt 1.1 interf...
2011-04-09 Gabriel SchererMerge branch 'error-messages'
2011-04-09 Gabriel Scherer[minor] better comments for GUnify error reporting... error-messages
2011-04-09 Gabriel SchererMerge branch 'bugfixes'
2011-03-30 Gabriel Scherer[test] a regression test for the blevel bug nasty-reduction-bug
2011-03-30 Gabriel Scherer[fix] correct blevel computation for the copied lambda...
2011-03-30 Gabriel Scherer[minor] compute dot snapshot after Union.synchronize...
2011-03-30 Gabriel Scherer[minor] enable F_omega features in 'make interact'...
2011-03-30 Didier Remyequivalent
2011-03-12 Didier RemyStack overflow
2011-03-12 Didier Remytyapp
...
heads
4 years ago master
5 years ago error-messages
5 years ago nasty-reduction-bug
5 years ago bugfixes
5 years ago alias_type_definitions
5 years ago lenient-aliasing
5 years ago fix-inert-permissions
5 years ago explicit-A-constructor