Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 14, 2017

• Adding a test file

  dominique-unruh

  committed
  dbd547a

  Copy full SHA for dbd547a

Commits on Dec 30, 2016

• updated various library version to current

  Show description for f71b0ad
  dominique-unruh

  committed
  f71b0ad

  Copy full SHA for f71b0ad

Commits on Dec 29, 2016

• Some refactoring of Interaction (no restriction to AnyRef for answers any more)

  dominique-unruh

  committed
  689fcf4

  Copy full SHA for 689fcf4

• Some refactoring of Interaction (for added type safety)

  dominique-unruh

  committed
  d82961f

  Copy full SHA for d82961f

• Moved to Isabelle 2016-1

  dominique-unruh

  committed
  6a16504

  Copy full SHA for 6a16504

Commits on Dec 11, 2016

• SubsitutionTrafo

  dominique-unruh

  committed
  ba529bc

  Copy full SHA for ba529bc

• Support for Isabelle/HOL backend (does all the conversion roundtrips now)

  dominique-unruh

  committed
  fefe8ae

  Copy full SHA for fefe8ae

Commits on Dec 9, 2016

• Isabelle support (in progress)

  dominique-unruh

  committed
  1a86258

  Copy full SHA for 1a86258

Commits on Oct 22, 2016

• ?

  dominique-unruh

  committed
  b70b9fd

  Copy full SHA for b70b9fd

Commits on Sep 5, 2016

• Updated sbt script (downloads sbt-launch.jar)

  dominique-unruh

  committed
  a69baf8

  Copy full SHA for a69baf8

Commits on Aug 28, 2016

• Fixed: Z3-expressions true/false parsed as variables

  dominique-unruh

  committed
  193c888

  Copy full SHA for 193c888

• Value class FormulaId/TrafoId instead of plain Int for Ids.

  Show description for 223f7f1
  dominique-unruh

  committed
  223f7f1

  Copy full SHA for 223f7f1

Commits on Aug 27, 2016

• Added property Proven to Formula.

  Show description for 7eea6c4
  dominique-unruh

  committed
  7eea6c4

  Copy full SHA for 7eea6c4

Commits on Aug 26, 2016

• Fixed Popcorn parser (parsing of <=>)

  dominique-unruh

  committed
  e280fab

  Copy full SHA for e280fab

• Removed dependency on openmath-1.4.0.jar

  dominique-unruh

  committed
  b1b3bc8

  Copy full SHA for b1b3bc8

• Implemented CBytes and related classes

  dominique-unruh

  committed
  e962995

  Copy full SHA for e962995

Commits on Aug 23, 2016

• Added -Xcheckinit to compile options

  dominique-unruh

  committed
  1a13a89

  Copy full SHA for 1a13a89

Commits on Aug 22, 2016

• Popcorn parser works, but is excruciatingly slow!

  dominique-unruh

  committed
  6e589b2

  Copy full SHA for 6e589b2

Commits on Aug 21, 2016

• Merge branch 'master' of github.com:dominique-unruh/proof-editor

  Show description for 203f082
  dominique-unruh

  committed
  203f082

  Copy full SHA for 203f082

• Started writing Popcorn-parser grammar (Antlr4)

  dominique-unruh

  committed
  bfd7e65

  Copy full SHA for bfd7e65

• Started writing Popcorn-parser grammar (Antlr4)

  dominique-unruh

  committed
  4bfd5ac

  Copy full SHA for 4bfd5ac

Commits on Aug 20, 2016

• TestApp shows which formulas are axioms

  dominique-unruh

  committed
  e4d9a41

  Copy full SHA for e4d9a41

• Support for Formula-Properties.

  Show description for c1ec682
  dominique-unruh

  committed
  c1ec682

  Copy full SHA for c1ec682

• CaseDistinction-Transformation

  dominique-unruh

  committed
  2129d6a

  Copy full SHA for 2129d6a

• Interactor: Messages now support HTML

  dominique-unruh

  committed
  4a37e54

  Copy full SHA for 4a37e54

• Labels in Interactor now do line wrap

  dominique-unruh

  committed
  2eb53c2

  Copy full SHA for 2eb53c2

• Renamed: MathViewFX -> MathView

  dominique-unruh

  committed
  2ccfd47

  Copy full SHA for 2ccfd47

• Enter in trafo filter focusses on trafo input

  dominique-unruh

  committed
  761a1d8

  Copy full SHA for 761a1d8

Commits on Aug 19, 2016

• Implemented SimplifyTrafo.fromXML

  dominique-unruh

  committed
  a1b1b78

  Copy full SHA for a1b1b78

• Theory loader: make sure trafos do not contain nonexistent formulas

  dominique-unruh

  committed
  8a19cee

  Copy full SHA for 8a19cee

• TestApp: Accelerator for TrafoChoice

  dominique-unruh

  committed
  cd51a10

  Copy full SHA for cd51a10

• TestApp: Filtered view of transformations

  Show description for 022e08c
  dominique-unruh

  committed
  022e08c

  Copy full SHA for 022e08c

• Improved popcorn rendering

  dominique-unruh

  committed
  a6e521c

  Copy full SHA for a6e521c

Commits on Aug 18, 2016

• Some more TrafoInstance serializations/deserializations

  dominique-unruh

  committed
  c5384b4

  Copy full SHA for c5384b4

• Fixed: Wrong allocation of fresh counters in Theory.addTrafoInstance

  dominique-unruh

  committed
  489e3b3

  Copy full SHA for 489e3b3

Pagination

Previous

Next