]>
2009-09-17 | Enrico Tassi | more work for igft | tree | commitdiff |
2009-09-16 | Enrico Tassi | more notation for topologies, and some prentheses that... | tree | commitdiff |
2009-09-13 | Enrico Tassi | a nice bug in meta handling is not visible... brr... | tree | commitdiff |
2009-09-11 | Enrico Tassi | ... | tree | commitdiff |
2009-09-11 | Enrico Tassi | constructor accepts the arguments of the constructor... | tree | commitdiff |
2009-09-10 | Enrico Tassi | it starts to work | tree | commitdiff |
2009-09-08 | Enrico Tassi | snapshot for CSC | tree | commitdiff |
2009-08-28 | Enrico Tassi | alias bug revealed | tree | commitdiff |
2009-08-25 | Enrico Tassi | ... | tree | commitdiff |
2009-08-25 | Enrico Tassi | initial and incomplete port of the old demo about induc... | tree | commitdiff |
2009-07-27 | Claudio Sacerdoti... | topology/igt.ma (???) |-> sets/setoids.ma | tree | commitdiff |
2009-07-17 | Claudio Sacerdoti... | Old code commented out. | tree | commitdiff |
2009-07-09 | Enrico Tassi | ... | tree | commitdiff |
2009-07-08 | Enrico Tassi | few more files, one diverges | tree | commitdiff |