1. 02 Feb, 2023 1 commit
  2. 01 Feb, 2023 1 commit
  3. 19 Dec, 2022 1 commit
  4. 13 Dec, 2022 4 commits
  5. 12 Dec, 2022 3 commits
  6. 05 Dec, 2022 1 commit
  7. 09 Nov, 2022 2 commits
  8. 17 Oct, 2022 1 commit
    • dgelessus's avatar
      Rewrite installation process to be fully Python-based · d4e70d07
      dgelessus authored
      This allows using Jupyter's Python API to install the kernel. It returns
      the location of the newly installed kernelspec, which allows copying the
      kernel jar file into the kernelspec directory instead of the ProB home
      directory. This is cleaner and allows fully uninstalling the kernel
      using a single command.
      
      Additionally, we no longer depend on Guice to generate the kernel.json
      (we use Python's json module instead) and no longer use the deprecated
      Main.getProBDirectory method from ProB 2.
      
      The Python script for installing the kernel is bundled into the kernel
      jar as __main__.py, which allows running the jar file using Python. The
      installation can still be started using Java, in which case the jar
      re-executes itself using Python. Yes, this is a little bit cursed, but
      it works.
      d4e70d07
  9. 03 Oct, 2022 4 commits
  10. 30 Sep, 2022 1 commit
  11. 29 Sep, 2022 1 commit
  12. 26 Jul, 2022 1 commit
  13. 06 Jun, 2022 1 commit
  14. 23 May, 2022 2 commits
  15. 04 May, 2022 1 commit
  16. 28 Feb, 2022 3 commits
  17. 06 Jan, 2022 7 commits
  18. 24 Nov, 2021 1 commit
    • dgelessus's avatar
      Use plain Unicode instead of LaTeX in rich text :table output · 4a0f5d5f
      dgelessus authored
      LaTeX formulas inside tables cause various layout issues in Jupyter
      Notebook, such as long sets being wrapped even when they would fit on a
      single line, table columns being wider than necessary, and LaTeX
      formulas being left-aligned instead of right-aligned like normal text.
      4a0f5d5f
  19. 08 Nov, 2021 4 commits