projects / helm.git / history
| 2004-12-01 | Enrico Tassi | Added universes handling. The PRE_UNIVERSES tag may... | blob | commitdiff | raw |
| 2004-06-01 | Enrico Tassi | new universes implementation | blob | commitdiff | raw | diff to current |
| 2004-04-20 | Stefano Zacchiroli | got rid of ~status label so that tactics can now be... | blob | commitdiff | raw | diff to current |
| 2004-02-24 | Claudio Sacerdoti... | Partial porting to V8 URIs. | blob | commitdiff | raw | diff to current |
| 2004-01-27 | Stefano Zacchiroli | s/List.find.../CicUtil.lookup_meta/ | blob | commitdiff | raw | diff to current |
| 2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |