projects / cubicaltt.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt.git
2017-10-30 Anders Mörtbergdirect proofs that things are sets commit | commitdiff | tree | snapshot
2017-09-25 Anders Mörtbergtest travis for PRs commit | commitdiff | tree | snapshot
2017-09-25 Anders Mörtbergtest travis commit | commitdiff | tree | snapshot
2017-09-24 Víctor López... .gitignore .stack-work, vim swap files commit | commitdiff | tree | snapshot
2017-09-24 Víctor López... Build with stack LTS 9.5 resolver commit | commitdiff | tree | snapshot
2017-09-24 Anders Mörtberguse foldrWithKey instead of foldWithKey to eliminate... commit | commitdiff | tree | snapshot
2017-09-20 Anders Mörtbergcleaning commit | commitdiff | tree | snapshot
2017-09-17 Apostolis Xekoukoulo... A small simplification on binnat.ctt commit | commitdiff | tree | snapshot
2017-09-13 Anders Mörtbergupdate lectures commit | commitdiff | tree | snapshot
2017-09-12 Víctor López... Add stack build instructions to the README.md file. commit | commitdiff | tree | snapshot
2017-09-12 Víctor López... Remove cruft from stack.yaml commit | commitdiff | tree | snapshot
2017-09-12 Víctor López... Add support for Travis CI commit | commitdiff | tree | snapshot
2017-09-12 Mike ShulmanUse cubicaltt syntax table in the process buffer. commit | commitdiff | tree | snapshot
2017-09-12 Mike Shulmanseparate syntax highlighting for keywords and builtins commit | commitdiff | tree | snapshot
2017-09-08 Cyril CohenMerge pull request #77 from mikeshulman/nograd commit | commitdiff | tree | snapshot
2017-09-07 Mike ShulmanRemove one more instance of "graduate lemma" commit | commitdiff | tree | snapshot
2017-08-11 Anders Mörtbergrename gradLemma to isoToEquiv commit | commitdiff | tree | snapshot
2017-07-09 Anders Mörtbergpi4s3 (first 5 maps) commit | commitdiff | tree | snapshot
2017-06-20 Anders Mörtbergmove girard commit | commitdiff | tree | snapshot
2017-06-20 Anders MörtbergMerge pull request #40 from abooij/girard commit | commitdiff | tree | snapshot
2017-06-20 Anders MörtbergMerge pull request #65 from mortberg/fiximporterrors commit | commitdiff | tree | snapshot
2017-06-20 Anders MörtbergMerge pull request #70 from Sobernard/master commit | commitdiff | tree | snapshot
2017-06-17 Anders Mörtbergmore explanations commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate README commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate README commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate README commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergadd README for the lectures commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtberglecture 4 commit | commitdiff | tree | snapshot
2017-06-14 Anders Mörtbergupdate lectures commit | commitdiff | tree | snapshot
2017-06-14 Sophie Bernardcomments commit | commitdiff | tree | snapshot
2017-06-09 Sophie Bernardgeneral constcubes 2-3-4D commit | commitdiff | tree | snapshot
2017-06-09 Sophie Bernardconstcubes in n dimensions commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergspurious import commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergproper error handling when importing files commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergadd first version of lecture 4 commit | commitdiff | tree | snapshot
2017-06-08 Anders MörtbergMerge pull request #66 from mortberg/shadowed commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergmove test up commit | commitdiff | tree | snapshot
2017-06-08 Anders Mörtbergremove empty lines commit | commitdiff | tree | snapshot
2017-06-08 Anders MörtbergCheck if some names were shadowed while loading the... commit | commitdiff | tree | snapshot
2017-05-30 Anders Mörtbergfix typos commit | commitdiff | tree | snapshot
2017-05-30 Anders Mörtbergadd lecture 3 commit | commitdiff | tree | snapshot
2017-05-20 Anders Mörtbergminor commit | commitdiff | tree | snapshot
2017-05-20 Anders Mörtbergminor commit | commitdiff | tree | snapshot
2017-05-20 Anders Mörtbergminor update to lecture 2 commit | commitdiff | tree | snapshot
2017-05-20 Anders MörtbergAdd lecture 2 commit | commitdiff | tree | snapshot
2017-05-12 Anders Mörtbergupdate lecture1 commit | commitdiff | tree | snapshot
2017-05-11 Anders Mörtberglecture1 commit | commitdiff | tree | snapshot
2017-05-11 Anders Mörtbergupdate lecture commit | commitdiff | tree | snapshot
2017-05-11 Anders Mörtbergfirst lecture commit | commitdiff | tree | snapshot
2017-05-11 Cyril CohenAllow overlapping Arbitrary for Face and System commit | commitdiff | tree | snapshot
2017-05-11 Cyril CohenBoxing Env to prevent Show conflicts with newer version... commit | commitdiff | tree | snapshot
2017-05-07 Anders Mörtbergminor change commit | commitdiff | tree | snapshot
2017-05-02 Simon HuberMerge pull request #60 from Rotsor/more-parens-in-goal commit | commitdiff | tree | snapshot
2017-05-02 Anders MörtbergMerge pull request #59 from Rotsor/checkPLam-error... commit | commitdiff | tree | snapshot
2017-04-27 Simon HuberFix printing of idC and idJ also for values commit | commitdiff | tree | snapshot
2017-04-27 Simon HuberDon't use smart-constructors when normalizing values commit | commitdiff | tree | snapshot
2017-04-27 Simon HuberShow idC and idJ as we parse them commit | commitdiff | tree | snapshot
2017-04-26 Arseniy AlekseyevMore parentheses when printing values commit | commitdiff | tree | snapshot
2017-04-22 Arseniy Alekseyevbetter error message from checkPLam commit | commitdiff | tree | snapshot
2017-04-21 Simon HuberMerge pull request #58 from Rotsor/patch-1 commit | commitdiff | tree | snapshot
2017-04-19 RotsorEmacs mode: ignore backslash character commit | commitdiff | tree | snapshot
2017-01-19 Anders Mörtbergminor changes to bool commit | commitdiff | tree | snapshot
2017-01-19 Anders Mörtbergexperiment with Id commit | commitdiff | tree | snapshot
2017-01-04 Anders MörtbergMerge pull request #56 from linuborj/cubicaltt_grothendieck commit | commitdiff | tree | snapshot
2017-01-03 linusboUncommented slow function. commit | commitdiff | tree | snapshot
2017-01-02 linusboAdded definitions of algebraic structures in algstruct... commit | commitdiff | tree | snapshot
2016-12-25 Anders Mörtbergswap direction of equality to match order in comment commit | commitdiff | tree | snapshot
2016-12-25 Anders Mörtbergadd opposite category commit | commitdiff | tree | snapshot
2016-12-01 Anders Mörtbergadd a comment to category commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergreadme commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergupdate demo commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergreadme commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergreadme commit | commitdiff | tree | snapshot
2016-10-22 Anders MörtbergREADME commit | commitdiff | tree | snapshot
2016-10-22 Anders Mörtbergupdate readme commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergdoc commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergdoc commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergtest commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergtest commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergadd a readme for the examples folder commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergadd summary file commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergdoc commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergmove graph script commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergcomment commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergadd a script for loading all files commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergcomments commit | commitdiff | tree | snapshot
2016-10-21 Anders Mörtbergmove implicit point commit | commitdiff | tree | snapshot
2016-10-20 Anders Mörtberga lot of comments commit | commitdiff | tree | snapshot
2016-10-20 Anders Mörtbergremove undefined and make csystem compile commit | commitdiff | tree | snapshot
2016-10-20 Anders Mörtbergcomments commit | commitdiff | tree | snapshot
2016-10-20 Anders Mörtbergupdate category commit | commitdiff | tree | snapshot
2016-10-20 Anders Mörtbergcomments commit | commitdiff | tree | snapshot
2016-10-20 Anders Mörtbergadd transparent_all to keywords in emacs file commit | commitdiff | tree | snapshot
2016-10-20 Anders Mörtbergremove examples/aim.ctt as it is subsumed by examples... commit | commitdiff | tree | snapshot
2016-09-22 Anders Mörtbergadd a small puzzle due to Andrew Polonsky commit | commitdiff | tree | snapshot
2016-09-22 Anders MörtbergMerge pull request #49 from mortberg/defeqJ commit | commitdiff | tree | snapshot
2016-09-19 Simon HuberFix insertSystem to maintain invariant for systems commit | commitdiff | tree | snapshot
2016-09-15 Anders Mörtbergcleaning commit | commitdiff | tree | snapshot
2016-09-15 Anders Mörtbergcleaning commit | commitdiff | tree | snapshot
2016-09-14 Anders Mörtbergvisible -> transparent commit | commitdiff | tree | snapshot
next
My fork of cubicaltt with web interface using Reflex.