Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 1, 2026

• Add xdg-open as preferred browser

  kovzol

  committed
  1cd8ae1

  Copy full SHA for 1cd8ae1

• Improve packaging

  kovzol

  committed
  34e636a

  Copy full SHA for 34e636a

• Add warning on saving under Flatpak, typo fix

  kovzol

  committed
  5774551

  Copy full SHA for 5774551

Commits on Jul 5, 2025

• Fix running from EXE on Windows, center app on CheerpJ, optimize window size

  kovzol

  committed
  6b1f07a

  Copy full SHA for 6b1f07a

Commits on Jun 14, 2025

• Add two text keys

  kovzol

  committed
  5da3120

  Copy full SHA for 5da3120

• Hotfix About on CheerpJ

  kovzol

  committed
  6a773a2

  Copy full SHA for 6a773a2

• Fix showing rules < 10

  kovzol

  committed
  cd776c7

  Copy full SHA for cd776c7

• Fix web page invocation (CheerpJ)

  kovzol

  committed
  6824a5e

  Copy full SHA for 6824a5e

• Improve GraphViz invocation

  kovzol

  committed
  1198c68

  Copy full SHA for 1198c68

Commits on Jun 13, 2025

• Remove intentional error

  kovzol

  committed
  4470e49

  Copy full SHA for 4470e49

• Intentional error to check GitHub Actions

  kovzol

  committed
  8593fc5

  Copy full SHA for 8593fc5

• Initial version of showing GDD proof in GraphViz Online (with minor fix)

  kovzol

  committed
  557463a

  Copy full SHA for 557463a

Commits on Jun 11, 2025

• Attempt to fix build at Ubuntu

  kovzol

  committed
  4d18574

  Copy full SHA for 4d18574

• Some cleanup in the snap

  kovzol

  committed
  7b4c47b

  Copy full SHA for 7b4c47b

• Minor polishing (2)

  kovzol

  committed
  0c3bb59

  Copy full SHA for 0c3bb59

• Merge pull request #51 from kovzol/CheerpJ

  Show description for 0deaab3
  kovzol

  authored
  0deaab3

  Copy full SHA for 0deaab3

• Polishing version 0.87

  kovzol

  committed
  0765730

  Copy full SHA for 0765730

Commits on Jun 3, 2025

• Merge pull request #50 from kovzol/CheerpJ

  Show description for 7312588
  kovzol

  authored
  7312588

  Copy full SHA for 7312588

• Minor polishing

  kovzol

  committed
  0069549

  Copy full SHA for 0069549

• changed file loading and docs folder location

  Show description for aad1faa
  Traumlos

  committed
  aad1faa

  Copy full SHA for aad1faa

Commits on May 4, 2025

• Merge pull request #48 from kovzol/Traumlos

  Show description for 1224297
  kovzol

  authored
  1224297

  Copy full SHA for 1224297

Commits on Apr 5, 2025

• added javadoc for packages

  Traumlos

  committed
  604e9ca

  Copy full SHA for 604e9ca

Commits on Mar 30, 2025

• added missing javadoc for some methods

  Traumlos

  committed
  8ad3530

  Copy full SHA for 8ad3530

Commits on Mar 29, 2025

• fixed javadoc display errors

  Show description for e3ead96
  Traumlos

  committed
  e3ead96

  Copy full SHA for e3ead96

• superficial refactor and added java doc to wprover/UI/pdf folder

  Traumlos

  committed
  e4aeb2a

  Copy full SHA for e4aeb2a

Commits on Mar 28, 2025

• refactored drawProcess switch case

  Traumlos

  committed
  3cdc7f7

  Copy full SHA for 3cdc7f7

• Merge pull request #46 from Traumlos/master

  Show description for e978d58
  kovzol

  authored
  e978d58

  Copy full SHA for e978d58

• fix versioning problem

  Show description for f42bc89
  Traumlos

  committed
  f42bc89

  Copy full SHA for f42bc89

• Merge pull request #45 from Traumlos/master

  Show description for 50a60ea
  kovzol

  authored
  50a60ea

  Copy full SHA for 50a60ea

Commits on Mar 27, 2025

• partial superficial refactor and added java doc to wprover folder

  Traumlos

  committed
  c5384a7

  Copy full SHA for c5384a7

Commits on Mar 24, 2025

• superficial refactor and added java doc to gprover folder

  Traumlos

  committed
  d368090

  Copy full SHA for d368090

Commits on Mar 23, 2025

• superficial refactor and added java doc to math folder (#43)

  Show description for 3aaa302
  

  kovzol

  and

  Traumlos

  authored
  3aaa302

  Copy full SHA for 3aaa302

Commits on Mar 22, 2025

• superficial refactor and added java doc to math folder

  Traumlos

  committed
  54188a0

  Copy full SHA for 54188a0

Commits on Mar 1, 2025

• Corrected a typo on Rule 4 for the GDD in keys.pot (#41)

  Show description for 1ad9a84
  APereiraAlbert

  authored
  1ad9a84

  Copy full SHA for 1ad9a84

Commits on Feb 18, 2025

• Unsuccessful attempt to add URL to SVG output inside the application (GDD proof)

  kovzol

  committed
  257e493

  Copy full SHA for 257e493