aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/pluginsdyn.itarget
Commit message (Expand)AuthorAge
* plugin groebner updated and renamed as nsatz; first version of the doc of nsa...Gravatar pottier2010-06-03
* Misc small fixes : warning, dep cycles, ocamlbuild...Gravatar letouzey2010-04-26
* Win32 cross-compilation from debian: build of coqide.exe and other binariesGravatar letouzey2010-02-24