projects / helm.git / history
| 2005-06-17 | Stefano Zacchiroli | removed! | commit | commitdiff |
| 2004-04-23 | Enrico Tassi | Universes introduction | commit | commitdiff |
| 2004-02-24 | Claudio Sacerdoti... | Partial porting to V8 URIs. | commit | commitdiff |
| 2003-12-02 | Ferruccio Guidi | sort CProp added | commit | commitdiff |
| 2003-09-05 | Stefano Zacchiroli | added \neqt macro | commit | commitdiff |
| 2003-09-05 | Stefano Zacchiroli | fixed associativity of some (all!) binary operators | commit | commitdiff |
| 2003-09-04 | Stefano Zacchiroli | - added dot notation for real numbers and basic operati... | commit | commitdiff |
| 2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | commit | commitdiff |