Permalink
Commits on Aug 11, 2016
  1. :.:

    committed Aug 11, 2016
Commits on Aug 6, 2016
  1. version bump

    committed Aug 6, 2016
  2. symbol tweaks

    committed Aug 6, 2016
Commits on Jul 18, 2016
Commits on Jul 10, 2016
  1. to-do

    conal committed Jul 10, 2016
  2. lexString meta-comment

    conal committed Jul 10, 2016
Commits on Apr 2, 2014
  1. \/ as a forall

    committed Apr 2, 2014
Commits on Mar 14, 2014
  1. tweak quantifier handling for (a) lone quantifier and (b) (non-ascii)…

    … quantifier symbols
    committed Mar 14, 2014
Commits on Jan 27, 2014
Commits on Jul 31, 2013
  1. symbol tweaks. comment out diags

    committed Jul 31, 2013
Commits on Mar 12, 2013
  1. modernize .cabal

    committed Mar 12, 2013
  2. new symbols

    committed Mar 12, 2013
Commits on Feb 8, 2012
Commits on Oct 20, 2011
Commits on Oct 10, 2011
  1. infix

    committed Oct 10, 2011
Commits on Oct 6, 2011
  1. abutSN, abutWE.

    committed Oct 6, 2011
  2. deleted .# file

    committed Oct 6, 2011
Commits on Sep 27, 2011
  1. ignore .#* but doesn't work. hm.

    committed Sep 27, 2011
Commits on Sep 26, 2011
  1. <=, >=

    committed Sep 26, 2011
Commits on Jul 22, 2011
  1. factor out rewriter

    committed Jul 22, 2011
Commits on May 1, 2011
Commits on Feb 28, 2011
  1. update for gitit 0.7.3.12

    committed Feb 28, 2011
Commits on Feb 27, 2011
  1. symbol tweaks

    committed Feb 27, 2011
Commits on Feb 9, 2011
Commits on Jan 30, 2011
  1. "." with forall; =>

    committed Jan 30, 2011
Commits on Jan 21, 2011
  1. new symbols: =>, <*>, =~

    committed Jan 21, 2011
Commits on Jan 20, 2011
  1. =~; replace greek

    committed Jan 20, 2011
Commits on Jan 17, 2011
Commits on Jan 13, 2011
  1. fixLex; new symbols

    committed Jan 13, 2011
Commits on Nov 18, 2010
  1. removed stray ' ' for pi

    committed Nov 18, 2010