| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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 | |
| * | maj | filliatr | 2003-04-04 | |
| * | maj | filliatr | 2003-04-03 | |
| * | maj | filliatr | 2003-04-01 | |
| * | maj | filliatr | 2003-04-01 | |
| * | maj | filliatr | 2003-03-31 | |
| * | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | herbelin | 2003-03-29 | |
| * | maj | filliatr | 2003-03-29 | |
| * | maj | filliatr | 2003-03-26 | |
| * | maj | filliatr | 2003-03-22 | |
| * | Fin de la résurrection de Linear. | corbinea | 2003-03-21 | |
| * | maj | filliatr | 2003-03-15 | |
| * | coqide: maj preferences du wizzard | monate | 2003-03-14 | |
| * | maj | filliatr | 2003-03-13 | |
| * | * Ajout du traducteur nouvelle syntaxe * |  barras | 2003-03-12 | |
| * | maj | filliatr | 2003-03-07 | |
| * | coqide: fenetre de cmmandes . undo correct | monate | 2003-03-06 | |
| * | coqide: le undo | monate | 2003-03-06 | |
| * | maj | filliatr | 2003-03-06 | |
| * | maj | filliatr | 2003-03-05 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |