| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
| |
As stated in the manual, the fourier tactic is subsumed by lra.
|
| |
|
|
|
|
| |
This is dead code since fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd.
This script was initially introduced in a088d03434417e935df3c75f81a954eadbdfc2b8
and left untouched since then.
|
| | |
|
| |
|
|
|
|
| |
Although these commands were never deprecated, they have been unusable for some
time now, since they send requests to an Italian server which is no longer
alive.
|
| | |
|
| |
|
|
| |
including bigger icons
|
|
|
The created bundle contains only coqide and gtk (no coqtop, no stdlib)
|
Maxime Dénès
Théo Zimmermann
Pierre Boutillier