[Qed] Migrate to frama-c indent
Showing
- src/plugins/qed/.ocp-indent 0 additions, 1 deletionsrc/plugins/qed/.ocp-indent
- src/plugins/qed/export.ml 162 additions, 162 deletionssrc/plugins/qed/export.ml
- src/plugins/qed/export_why3.ml 25 additions, 25 deletionssrc/plugins/qed/export_why3.ml
- src/plugins/qed/export_whycore.ml 29 additions, 29 deletionssrc/plugins/qed/export_whycore.ml
- src/plugins/qed/hcons.ml 2 additions, 2 deletionssrc/plugins/qed/hcons.ml
- src/plugins/qed/intmap.ml 274 additions, 274 deletionssrc/plugins/qed/intmap.ml
- src/plugins/qed/kind.ml 28 additions, 28 deletionssrc/plugins/qed/kind.ml
- src/plugins/qed/listmap.ml 77 additions, 77 deletionssrc/plugins/qed/listmap.ml
- src/plugins/qed/listset.ml 41 additions, 41 deletionssrc/plugins/qed/listset.ml
- src/plugins/qed/plib.ml 21 additions, 21 deletionssrc/plugins/qed/plib.ml
- src/plugins/qed/pretty.ml 23 additions, 23 deletionssrc/plugins/qed/pretty.ml
- src/plugins/qed/term.ml 463 additions, 463 deletionssrc/plugins/qed/term.ml
Loading
Please register or sign in to comment