Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 17, 2023

• modify error message when no conclusion was entered

  mrieppel

  committed
  2253d99

  Copy full SHA for 2253d99

Commits on Nov 3, 2021

• update >E rule to be order insensitive

  mrieppel

  committed
  447caad

  Copy full SHA for 447caad

Commits on Oct 22, 2021

• fix bug with absurdity input

  mrieppel

  committed
  8e86633

  Copy full SHA for 8e86633

• fix absurdity input issue

  mrieppel

  committed
  4bd4576

  Copy full SHA for 4bd4576

Commits on Oct 6, 2021

• add more keyboard inputs for logical operators

  mrieppel

  committed
  befa8dc

  Copy full SHA for befa8dc

Commits on Mar 2, 2021

• allow caret for conjunction on user input, also unicode logic symbols

  mrieppel

  committed
  1bfd1a9

  Copy full SHA for 1bfd1a9

Commits on Feb 23, 2021

• Rule name to Neg-Elim instead of Bot-Intro

  mrieppel

  committed
  e33ff48

  Copy full SHA for e33ff48

Commits on Jan 26, 2021

• Updated with Arc's debuggged fitch.sty

  mrieppel

  committed
  ac0627a

  Copy full SHA for ac0627a

Commits on Jan 25, 2021

• Updated rules to disallow use of free variables in place of names, along with other sundry updates

  mrieppel

  committed
  4c3e76d

  Copy full SHA for 4c3e76d

Commits on Nov 3, 2020

• update derived rules with SDN

  mrieppel

  committed
  4b9acf6

  Copy full SHA for 4b9acf6

Commits on Jul 21, 2020

• add phi 251 title div

  mrieppel

  committed
  478e8f4

  Copy full SHA for 478e8f4

Commits on Jun 25, 2020

• Fixed derived rule QS (quantifier shift)

  mrieppel

  committed
  53ee172

  Copy full SHA for 53ee172

Commits on Jun 23, 2020

• Fixed isQ(); change to isQ() in previous commit broke quantifier rules

  mrieppel

  committed
  29fea24

  Copy full SHA for 29fea24

Commits on Apr 30, 2020

• Update quantifier parsing for A and E as predicates

  mrieppel

  committed
  a819f02

  Copy full SHA for a819f02

Commits on Apr 16, 2020

• testing username update

  mrieppel

  committed
  399e962

  Copy full SHA for 399e962

Commits on Apr 15, 2020

• fix derived rule DN

  

  Michael O. Rieppel

  committed
  bf54b40

  Copy full SHA for bf54b40

Commits on Apr 14, 2020

• make exported proof formatted for re-importing again, two spaces after horizontal fitch bar not one

  

  Michael O. Rieppel

  committed
  1a4dd74

  Copy full SHA for 1a4dd74

• more fixes to flagging violations

  

  Michael O. Rieppel

  committed
  0e9b31e

  Copy full SHA for 0e9b31e

• fix issues with free variables and flagging restrictions

  

  Michael O. Rieppel

  committed
  14f528a

  Copy full SHA for 14f528a

• fix Flag option in interface

  

  Michael O. Rieppel

  committed
  3cd4ce7

  Copy full SHA for 3cd4ce7

Commits on Apr 4, 2020

• update flag rule

  

  Michael O. Rieppel

  committed
  cc16e23

  Copy full SHA for cc16e23

• fix padBC and LEM indenting

  

  Michael O. Rieppel

  committed
  67fe151

  Copy full SHA for 67fe151

Commits on Mar 2, 2020

• update explosion rule

  mrieppel

  committed
  7699054

  Copy full SHA for 7699054

Commits on Feb 27, 2020

• reduce whitespace in export output

  mrieppel

  committed
  8c1fd30

  Copy full SHA for 8c1fd30

Commits on Feb 26, 2020

• update readme

  mrieppel

  committed
  38de9cf

  Copy full SHA for 38de9cf

• fix typo

  mrieppel

  committed
  f789d49

  Copy full SHA for f789d49

Commits on Feb 25, 2020

• fix ampersand in symbol guide

  mrieppel

  committed
  d32800c

  Copy full SHA for d32800c

• get rid of index.md file

  mrieppel

  committed
  6204738

  Copy full SHA for 6204738

• update urls in links

  mrieppel

  committed
  a72d523

  Copy full SHA for a72d523

• update link to published site in README

  mrieppel

  committed
  55bad07

  Copy full SHA for 55bad07

• github seems to want index.md instead of index.html ?

  mrieppel

  committed
  4e76b6a

  Copy full SHA for 4e76b6a

• updated quantifier rules etc to forallx notation

  mrieppel

  committed
  cd478df

  Copy full SHA for cd478df

• fitchfx initial commit

  mrieppel

  committed
  bb422d6

  Copy full SHA for bb422d6