projects / helm.git / search
| 2006-02-17 | Enrico Tassi | Sys.command -> Unix.system |
commit | commitdiff | tree |
| 2006-02-17 | Enrico Tassi | tentative speedup not coercion-packing the proof after... |
commit | commitdiff | tree |
| 2006-02-15 | Enrico Tassi | added support for "polymorphic" coercions |
commit | commitdiff | tree |
| 2006-02-15 | Enrico Tassi | fix |
commit | commitdiff | tree |
| 2006-02-15 | Enrico Tassi | fix |
commit | commitdiff | tree |
| 2006-02-14 | Enrico Tassi | fix |
commit | commitdiff | tree |
| 2006-02-14 | Enrico Tassi | fix |
commit | commitdiff | tree |
| 2006-02-14 | Enrico Tassi | tentative fix |
commit | commitdiff | tree |
| 2006-02-14 | Enrico Tassi | reverted orrible but correct syntax |
commit | commitdiff | tree |
| 2006-02-14 | Enrico Tassi | fixed syntax |
commit | commitdiff | tree |