]>
2011-08-18 | agheata | new version (M.Vala) | blob | commitdiff | raw |
2010-11-16 | agheata | new version of par file for enabling ProofLite | blob | commitdiff | raw | diff to current |
2010-09-13 | agheata | Corrections for test mode of the plugin in proof. | blob | commitdiff | raw | diff to current |