aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/character
ModeNameSize
l---------AUTHORS17logplain
l---------CeCILL-B18logplain
l---------INSTALL17logplain
-rw-r--r--Make134logplain
-rw-r--r--Makefile431logplain
l---------README16logplain
-rw-r--r--all.v214logplain
-rw-r--r--character.v114676logplain
-rw-r--r--classfun.v97010logplain
-rw-r--r--finfield.v25951logplain
-rw-r--r--inertia.v70163logplain
-rw-r--r--integral_char.v36208logplain
-rw-r--r--mxabelem.v43973logplain
-rw-r--r--mxrepresentation.v242442logplain
-rw-r--r--opam464logplain
-rw-r--r--vcharacter.v39284logplain