]>
2008-12-05 | Claudio Sacerdoti... | Added new syntax Type[n] where n is a number. | blob | commitdiff | raw |
2008-12-05 | Claudio Sacerdoti... | Useless code removed. | blob | commitdiff | raw | diff to current |
2008-12-05 | Enrico Tassi | a few missing ~subst added to whd | blob | commitdiff | raw | diff to current |
2008-12-05 | Enrico Tassi | coercions are there, but not heavily tested | blob | commitdiff | raw | diff to current |
2008-12-05 | Enrico Tassi | disambiguation takes ~mk_localization_tbl and not ... | blob | commitdiff | raw | diff to current |
2008-12-04 | Enrico Tassi | Fixes: | blob | commitdiff | raw | diff to current |
2008-12-03 | Claudio Sacerdoti... | The aliases and multi_aliases in the lexicon status... | blob | commitdiff | raw | diff to current |
2008-11-28 | Enrico Tassi | \forall x:?. and \forall x. both generate a meta for... | blob | commitdiff | raw | diff to current |
2008-11-27 | Enrico Tassi | New modules stack: | blob | commitdiff | raw | diff to current |