projects / helm.git / history
| 2005-11-08 | Claudio Sacerdoti... | Yet another semantics for simplify. | blob | commitdiff | raw |
| 2005-10-25 | Stefano Zacchiroli | ported to new syntactic requirement about terms being... | blob | commitdiff | raw | diff to current |
| 2005-09-16 | Enrico Tassi | added a function to reorder the metasenv. | blob | commitdiff | raw | diff to current |
| 2005-09-16 | Stefano Zacchiroli | added notation for nleq, nlgt, ... | blob | commitdiff | raw | diff to current |
| 2005-09-12 | Stefano Zacchiroli | removed work-arounds for poor disambiguation, which... | blob | commitdiff | raw | diff to current |
| 2005-08-22 | Andrea Asperti | The library grows... | blob | commitdiff | raw | diff to current |
| 2005-07-26 | Claudio Sacerdoti... | **** Experimental: **** | blob | commitdiff | raw | diff to current |
| 2005-07-25 | Claudio Sacerdoti... | More notation (up to where the open bugs allow me to... | blob | commitdiff | raw | diff to current |
| 2005-07-19 | Andrea Asperti | New naming policy for local variables. | blob | commitdiff | raw | diff to current |