[WP/Tactical] make env available to composer
Showing
- src/plugins/wp/GuiGoal.ml 63 additions, 10 deletionssrc/plugins/wp/GuiGoal.ml
- src/plugins/wp/GuiSequent.ml 35 additions, 13 deletionssrc/plugins/wp/GuiSequent.ml
- src/plugins/wp/GuiSequent.mli 9 additions, 2 deletionssrc/plugins/wp/GuiSequent.mli
- src/plugins/wp/GuiTactic.ml 8 additions, 2 deletionssrc/plugins/wp/GuiTactic.ml
- src/plugins/wp/Pcond.ml 8 additions, 9 deletionssrc/plugins/wp/Pcond.ml
- src/plugins/wp/qed/src/engine.mli 1 addition, 0 deletionssrc/plugins/wp/qed/src/engine.mli
- src/plugins/wp/qed/src/export.ml 2 additions, 1 deletionsrc/plugins/wp/qed/src/export.ml
- src/plugins/wp/qed/src/export.mli 2 additions, 0 deletionssrc/plugins/wp/qed/src/export.mli
- src/plugins/wp/qed/src/export_whycore.mli 1 addition, 0 deletionssrc/plugins/wp/qed/src/export_whycore.mli
Loading
Please register or sign in to comment