aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/bignat.ml
Commit message (Expand)AuthorAge
* Take notations into account: numbers and the CNotation operator.Gravatar bertot2002-12-09
* Ajout zeroGravatar herbelin2002-11-24
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Bug affichage du chiffre 0Gravatar herbelin2002-10-13
* Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...Gravatar herbelin2002-10-13