1. 01 Apr, 2019 1 commit
  2. 31 Mar, 2019 1 commit
    • Sylvain Dailler's avatar
      fix #292 · 95dc27a6
      Sylvain Dailler authored
      Add an option in the preferences to disallow the automatic jump after a
      goal is completed. Jump can still be performed by calling next in command
      line.
      95dc27a6
  3. 18 Mar, 2019 1 commit
  4. 11 Feb, 2019 1 commit
  5. 11 Dec, 2018 1 commit
  6. 10 Sep, 2018 1 commit
  7. 30 Jul, 2018 1 commit
  8. 17 Jul, 2018 1 commit
  9. 22 Jun, 2018 1 commit
  10. 19 Jun, 2018 1 commit
  11. 18 Jun, 2018 1 commit
  12. 15 Jun, 2018 1 commit
    • MARCHE Claude's avatar
      simplified contextual menu · 0c0513a5
      MARCHE Claude authored
      The contextual menu inkoved by mouse-3 is now simplified: it contains only
      the strategies and the provers that are marked visible in the preferences
      0c0513a5
  13. 04 Jun, 2018 1 commit
  14. 01 Jun, 2018 4 commits
  15. 28 May, 2018 1 commit
  16. 04 May, 2018 2 commits
  17. 07 Mar, 2018 1 commit
    • MARCHE Claude's avatar
      solve a few issue about proof edition · 82e3e856
      MARCHE Claude authored
      - use the default editor if no specific editor known
      - keep the former result after edition, although obsolete
      
      Note that the "default_editor" setting is moved from the IDE config to
      the main config section
      82e3e856
  18. 11 Jan, 2018 1 commit
  19. 10 Nov, 2017 2 commits
  20. 17 Oct, 2017 1 commit
  21. 12 Oct, 2017 1 commit
  22. 06 Oct, 2017 2 commits
  23. 25 Sep, 2017 1 commit
  24. 23 Aug, 2017 1 commit
    • Guillaume Melquiond's avatar
      Add (none) as the first prover entry. · af8c5211
      Guillaume Melquiond authored
      Otherwise the default prover might be incorrectly shown to the user. For
      example, if the user never set a default prover, the interface shows that
      Alt-Ergo (or whatever comes first) is the default prover, while nothing
      happens when pressing 'p'.
      af8c5211
  25. 21 Jun, 2017 1 commit
  26. 07 Jun, 2017 1 commit
  27. 10 May, 2017 1 commit
  28. 12 Apr, 2017 2 commits
  29. 08 Feb, 2017 1 commit
    • Mário Pereira's avatar
      Coercions (wip) · 50a71728
      Mário Pereira authored
      IDE option to show coercions in formulas.
      By default this option is set to true
      50a71728
  30. 05 Dec, 2016 1 commit
  31. 29 Nov, 2016 1 commit
    • Sylvain Dailler's avatar
      Third commit. For saving. · ee0cf016
      Sylvain Dailler authored
      Change many function from gconfig.ml to remove ref to Whyconf.
      Add protocol file.
      Add whats needed in an adhoc way.
      Need cleaning. Compile but fails.
      ee0cf016
  32. 17 Nov, 2016 1 commit
  33. 26 Sep, 2016 1 commit