Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 15, 2019

• Fixed bug with not resetting assumption list when resetting/changing exercise

  teorth

  committed
  e2809ad
  More actions

Commits on Oct 14, 2019

• Bug fix

  teorth

  committed
  bfdd453
  More actions

Commits on Oct 13, 2019

• version number update

  teorth

  committed
  aa3e1f0
  More actions

• Added ability to hide/unhide circular rules

  teorth

  committed
  531e1e8
  More actions

Commits on May 7, 2019

• shorter solution for 14.1

  teorth

  committed
  764a317
  More actions

Commits on Apr 12, 2019

• Added text to 3.1(a)

  teorth

  committed
  2bb87bd
  More actions

Commits on Jan 3, 2019

• version num update

  teorth

  committed
  e577cae
  More actions

Commits on Dec 25, 2018

• shorter proof of 22.3(b)

  teorth

  committed
  3f7d876
  More actions

Commits on Oct 10, 2018

• New records for 22.8, 22.4(cd), 22.5(abcde); "use strict" implemented

  teorth

  committed
  2ab64e7
  More actions

Commits on Oct 9, 2018

• Fixed matching bugs; new record for 22.4(d)

  teorth

  committed
  dbbedd9
  More actions

Commits on Oct 8, 2018

• update version num

  teorth

  committed
  9eaf270
  More actions

• New records for 22.5(bc); a new helper exercise, 12.6(d)

  teorth

  committed
  1f5ac72
  More actions

Commits on Oct 6, 2018

• New record for 28.4

  teorth

  committed
  478e16d
  More actions

• bump version number

  teorth

  committed
  aa185e7
  More actions

• New record for 24.8; added links to front page

  teorth

  committed
  dd92737
  More actions

Commits on Oct 3, 2018

• New record for 24.8

  teorth

  committed
  c990c03
  More actions

• version num update

  teorth

  committed
  17015ef
  More actions

• New exercise (24.8)

  teorth

  committed
  e659269
  More actions

Commits on Sep 16, 2018

• Merge branch 'master' of https://github.com/teorth/QED

  teorth

  committed
  04c8285
  More actions

• New record for 22.5(b)

  teorth

  committed
  9810cf0
  More actions

• Changed name of Ex 18.5

  teorth

  committed
  68e4276
  More actions

Commits on Sep 14, 2018

• Fix typo: Aristotlean -> Aristotelian.

  cjerdonek

  committed
  5c9e126
  More actions

Commits on Sep 9, 2018

• Additional explanatory text for Exercise 6.1(a)

  teorth

  committed
  4ee7e58
  More actions

Commits on Sep 8, 2018

• Typo in Ex 18.1 corrected

  teorth

  committed
  56e1ed4
  More actions

Commits on Sep 6, 2018

• Added a bit of text to Ex 24.1(a)

  teorth

  committed
  2fc92d4
  More actions

Commits on Sep 2, 2018

• New records for 22.5(ade)

  teorth

  committed
  2036463
  More actions

Commits on Sep 1, 2018

• Matching for Barbara syllogism (singular) implemented

  teorth

  committed
  1d54a45
  More actions

• Bump version name

  teorth

  committed
  bec1cd6
  More actions

• Ex 22.6(c) added

  teorth

  committed
  6d63b13
  More actions

• Matching for Ex 18.1; legacy solved exercises now load their associated laws

  teorth

  committed
  b65de30
  More actions

Commits on Aug 31, 2018

• New records for 22.3(b), 22.5(ab), 22.8; tweaked law description string method

  teorth

  committed
  b7b97ec
  More actions

• Unsolve button and records for 22.4(cd) added

  teorth

  committed
  a2caa6f
  More actions

• Was able to implement matching via templates for many further exercises

  teorth

  committed
  acea87e
  More actions

• Implemented proxy templates for laws

  teorth

  committed
  8c843e6
  More actions

• Moved propositions, operators, etc. from logic.js to main.js

  teorth

  committed
  0f9da42
  More actions

Pagination

PreviousNext