projects / helm.git / search
| 2001-10-22 | Ferruccio Guidi | template mk-mml-op-noannot was modified to allow hidden... |
commit | commitdiff | tree |
| 2001-04-05 | Ferruccio Guidi | contentlib.xsl improved, now handles eq eqT |
commit | commitdiff | tree |
| 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 |