cubicaltt.git
2017-05-20 Anders Mörtbergminor update to lecture 2
2017-05-20 Anders MörtbergAdd lecture 2
2017-05-12 Anders Mörtbergupdate lecture1
2017-05-11 Anders Mörtberglecture1
2017-05-11 Anders Mörtbergupdate lecture
2017-05-11 Anders Mörtbergfirst lecture
2017-05-11 Cyril CohenAllow overlapping Arbitrary for Face and System
2017-05-11 Cyril CohenBoxing Env to prevent Show conflicts with newer version...
2017-05-07 Anders Mörtbergminor change
2017-05-02 Simon HuberMerge pull request #60 from Rotsor/more-parens-in-goal
2017-05-02 Anders MörtbergMerge pull request #59 from Rotsor/checkPLam-error...
2017-04-27 Simon HuberFix printing of idC and idJ also for values
2017-04-27 Simon HuberDon't use smart-constructors when normalizing values
2017-04-27 Simon HuberShow idC and idJ as we parse them
2017-04-26 Arseniy AlekseyevMore parentheses when printing values
2017-04-22 Arseniy Alekseyevbetter error message from checkPLam
2017-04-21 Simon HuberMerge pull request #58 from Rotsor/patch-1
2017-04-19 RotsorEmacs mode: ignore backslash character
2017-01-19 Anders Mörtbergminor changes to bool
2017-01-19 Anders Mörtbergexperiment with Id
2017-01-04 Anders MörtbergMerge pull request #56 from linuborj/cubicaltt_grothendieck
2017-01-03 linusboUncommented slow function.
2017-01-02 linusboAdded definitions of algebraic structures in algstruct...
2016-12-25 Anders Mörtbergswap direction of equality to match order in comment
2016-12-25 Anders Mörtbergadd opposite category
2016-12-01 Anders Mörtbergadd a comment to category
2016-10-22 Anders Mörtbergreadme
2016-10-22 Anders Mörtbergupdate demo
2016-10-22 Anders Mörtbergreadme
2016-10-22 Anders Mörtbergreadme
2016-10-22 Anders MörtbergREADME
2016-10-22 Anders Mörtbergupdate readme
2016-10-21 Anders Mörtbergdoc
2016-10-21 Anders Mörtbergdoc
2016-10-21 Anders Mörtbergtest
2016-10-21 Anders Mörtbergtest
2016-10-21 Anders Mörtbergadd a readme for the examples folder
2016-10-21 Anders Mörtbergadd summary file
2016-10-21 Anders Mörtbergdoc
2016-10-21 Anders Mörtbergmove graph script
2016-10-21 Anders Mörtbergcomment
2016-10-21 Anders Mörtbergadd a script for loading all files
2016-10-21 Anders Mörtbergcomments
2016-10-21 Anders Mörtbergmove implicit point
2016-10-20 Anders Mörtberga lot of comments
2016-10-20 Anders Mörtbergremove undefined and make csystem compile
2016-10-20 Anders Mörtbergcomments
2016-10-20 Anders Mörtbergupdate category
2016-10-20 Anders Mörtbergcomments
2016-10-20 Anders Mörtbergadd transparent_all to keywords in emacs file
2016-10-20 Anders Mörtbergremove examples/aim.ctt as it is subsumed by examples...
2016-09-22 Anders Mörtbergadd a small puzzle due to Andrew Polonsky
2016-09-22 Anders MörtbergMerge pull request #49 from mortberg/defeqJ
2016-09-19 Simon HuberFix insertSystem to maintain invariant for systems
2016-09-15 Anders Mörtbergcleaning
2016-09-15 Anders Mörtbergcleaning
2016-09-14 Anders Mörtbergvisible -> transparent
2016-09-14 Anders Mörtbergdirect definition of retract
2016-09-14 Anders Mörtbergadd Dan's proof of univalence from ua and uabeta
2016-08-10 Anders MörtbergMerge pull request #50 from david-christiansen/elisp...
2016-08-01 David ChristiansenEmacs mode: Update names for Customize
2016-08-01 David ChristiansenUpdate README for Emacs mode
2016-08-01 David ChristiansenRemove redundant comment command from Emacs mode
2016-08-01 David ChristiansenRemove CL-isms from Emacs mode
2016-08-01 David ChristiansenRename Emacs mode identifiers
2016-08-01 David ChristiansenBetter comment about space-escaping in Emacs mode
2016-07-29 Anders Mörtbergdefine equivalence using Id and prove univalence with...
2016-07-29 Anders Mörtbergminor changes
2016-07-29 Anders Mörtbergcleaning and a version of univalence for Id
2016-07-29 Anders Mörtbergrename Eq to Id
2016-07-29 Simon HuberSome experiments with Eq
2016-07-29 Simon HuberAdded Eq types with definitional equality for J
2016-07-29 Anders MörtbergMerge pull request #46 from david-christiansen/elisp...
2016-07-29 Anders MörtbergMerge pull request #45 from david-christiansen/emacs...
2016-07-29 Anders MörtbergMerge pull request #44 from gullcomb/opt-decl-cmp
2016-07-29 Anders Mörtbergchange back conversion
2016-07-29 Anders MörtbergMerge branch 'conv'
2016-07-26 David Raymond... Improve the display of Emacs customize
2016-07-26 David Raymond... Add imenu support to the Emacs mode
2016-07-26 David Raymond... Add support for completion
2016-07-26 David Raymond... Make the Emacs mode work for package.el
2016-07-25 David ChristiansenAdd subprocess to Emacs mode
2016-07-14 Anders Mörtbergminor changes
2016-07-12 Guillaume CombetteTag declarations with their location.
2016-07-12 Guillaume CombetteFix build for GHC 7.8
2016-07-11 Anders Mörtbergfix bug in printing
2016-07-11 Anders Mörtbergcleaning of binnat
2016-07-11 Anders MörtbergClean up of univalence and add the definition of unival...
2016-07-08 Rafaël BocquetMerge branch 'csystems'
2016-07-08 Rafaël BocquetFix conv
2016-07-08 Rafaël BocquetMerge branch 'master' into csystems
2016-07-07 Rafaël BocquetSpeed up conv
2016-07-07 Rafaël Bocquetadd some comments in category.ctt and csystem.ctt
2016-07-07 Anders Mörtbergrename visible to transparent and fix printing of glue
2016-07-07 Anders Mörtbergrename glue -> Glue, glueElem -> glue and unglueElem...
2016-07-07 Anders Mörtbergrename Id to Path
2016-07-07 Anders Mörtbergremove nthmUniv
2016-07-07 Anders Mörtbergrename Path to PLam and IdP to PathP
2016-07-07 Anders Mörtbergmake subset compile using opaque
2016-07-07 Anders Mörtbergmove testempty
next