aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/tactic_option.ml
Commit message (Expand)AuthorAge
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Minor fixes:Gravatar msozeau2010-07-27
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Add a generic tactic option builder. Use it in firstorder to set theGravatar msozeau2010-03-05