aboutsummaryrefslogtreecommitdiff
path: root/html
ModeNameSize
-rw-r--r--display-panel.html395logplainabout
-rw-r--r--display-panel.js321logplainabout
-rw-r--r--options.html7640logplainabout
-rw-r--r--options_main.js20285logplainabout
pan>gnu: Update coq-mathcomp to 1.17.0....pukkamustard 2024-02-08gnu: Update coq-coquelicot to 3.4.0....pukkamustard 2024-02-08gnu: Update coq-gappa to 1.5.3....pukkamustard 2024-02-08gnu: Update coq-flocq to 4.1.1....pukkamustard