projects / helm.git / search
| 2001-04-04 | Ferruccio Guidi | fonts for lambda prod and forall enlarged |
commit | commitdiff | tree |
| 2001-04-04 | Ferruccio Guidi | characters in symbol font unified in size |
commit | commitdiff | tree |
| 2001-04-03 | Ferruccio Guidi | abstract polinomials |
commit | commitdiff | tree |
| 2001-04-03 | Ferruccio Guidi | added notations for abstact polinomials |
commit | commitdiff | tree |
| 2001-03-21 | Ferruccio Guidi | more notations added |
commit | commitdiff | tree |
| 2001-03-20 | Ferruccio Guidi | basic notations for arithmetics |
commit | commitdiff | tree |
| 2001-03-20 | Ferruccio Guidi | added notation for arithmetics |
commit | commitdiff | tree |