| Age | Commit message (Collapse) | Author |
|---|
|
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)
|
