| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | maj |  filliatr | 2003-09-03 |
| * | maj | filliatr | 2003-09-01 |
| * | maj | filliatr | 2003-08-15 |
| * | maj | filliatr | 2003-08-12 |
| * | maj | filliatr | 2003-07-24 |
| * | maj | filliatr | 2003-07-17 |
| * | maj | filliatr | 2003-07-12 |
| * | Ground bugfix |  corbinea | 2003-07-11 |
| * | maj | filliatr | 2003-07-09 |
| * | maj | filliatr | 2003-07-03 |
| * | suppression de newtauto | corbinea | 2003-07-02 |
| * | maj | filliatr | 2003-06-28 |
| * | maj | filliatr | 2003-06-21 |
| * | Ground Update. | corbinea | 2003-06-20 |
| * | maj | filliatr | 2003-06-20 |
| * | maj | filliatr | 2003-06-17 |
| * | Ground update | corbinea | 2003-06-16 |
| * | Ground major update ... mmm, sounds exciting ! | corbinea | 2003-06-15 |
| * | Ground update | corbinea | 2003-06-13 |
| * | Ground update, new files. | corbinea | 2003-06-13 |
| * | maj | filliatr | 2003-06-11 |
| * | maj | filliatr | 2003-06-09 |
| * | maj | filliatr | 2003-05-30 |
| * | maj | filliatr | 2003-05-27 |
| * | moved engine.ml4 to ground.ml4, added option 'Ground Depth' | corbinea | 2003-05-26 |
| * | Ground and CCsolve updates | corbinea | 2003-05-25 |
| * | coqide: blaster 2 |  monate | 2003-05-23 |
| * | maj | filliatr | 2003-05-23 |
| * | maj | filliatr | 2003-05-23 |
| * | coqide: blaster V1 | monate | 2003-05-22 |
| * | maj | filliatr | 2003-05-22 |
| * | maj | filliatr | 2003-05-21 |
| * | maj | filliatr | 2003-05-20 |
| * | maj | filliatr | 2003-05-17 |
| * | Major Ground tactic update, sensible performance improvement | corbinea | 2003-05-16 |
| * | maj | filliatr | 2003-05-15 |
| * | coqide: load/save file encoding support/ | monate | 2003-05-14 |
| * | maj | filliatr | 2003-05-09 |
| * | coqide: toolbar/autosave | monate | 2003-05-07 |
| * | Enhancement of the Ground tactic, addition of GTauto and GIntuition. | corbinea | 2003-05-07 |
| * | fichier de pref coq IDE en ASCII (ENFIN) | filliatr | 2003-04-28 |
| * | maj | filliatr | 2003-04-28 |
| * | maj | filliatr | 2003-04-26 |
| * | Added the Ground tactic. | corbinea | 2003-04-25 |
| * | maj | filliatr | 2003-04-18 |
| * | maj | filliatr | 2003-04-17 |
| * | BIG MAJ Extraction: |  letouzey | 2003-04-16 |
| * | maj | filliatr | 2003-04-10 |
| * | maj | filliatr | 2003-04-08 |
| * | Globalisation des noms de tactiques dans les définitions de tactiques |  herbelin | 2003-04-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |