git.ak3n.com - cubicaltt.git/shortlog

2017-06-08	Anders Mörtberg	add first version of lecture 4	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	Merge pull request #66 from mortberg/shadowed	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	move test up	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	remove empty lines	commit \| commitdiff \| tree \| snapshot
2017-06-08	Anders Mörtberg	Check if some names were shadowed while loading the...	commit \| commitdiff \| tree \| snapshot
2017-05-30	Anders Mörtberg	fix typos	commit \| commitdiff \| tree \| snapshot
2017-05-30	Anders Mörtberg	add lecture 3	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	minor	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	minor	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	minor update to lecture 2	commit \| commitdiff \| tree \| snapshot
2017-05-20	Anders Mörtberg	Add lecture 2	commit \| commitdiff \| tree \| snapshot
2017-05-12	Anders Mörtberg	update lecture1	commit \| commitdiff \| tree \| snapshot
2017-05-11	Anders Mörtberg	lecture1	commit \| commitdiff \| tree \| snapshot
2017-05-11	Anders Mörtberg	update lecture	commit \| commitdiff \| tree \| snapshot
2017-05-11	Anders Mörtberg	first lecture	commit \| commitdiff \| tree \| snapshot
2017-05-11	Cyril Cohen	Allow overlapping Arbitrary for Face and System	commit \| commitdiff \| tree \| snapshot
2017-05-11	Cyril Cohen	Boxing Env to prevent Show conflicts with newer version...	commit \| commitdiff \| tree \| snapshot
2017-05-07	Anders Mörtberg	minor change	commit \| commitdiff \| tree \| snapshot
2017-05-02	Simon Huber	Merge pull request #60 from Rotsor/more-parens-in-goal	commit \| commitdiff \| tree \| snapshot
2017-05-02	Anders Mörtberg	Merge pull request #59 from Rotsor/checkPLam-error...	commit \| commitdiff \| tree \| snapshot
2017-04-27	Simon Huber	Fix printing of idC and idJ also for values	commit \| commitdiff \| tree \| snapshot
2017-04-27	Simon Huber	Don't use smart-constructors when normalizing values	commit \| commitdiff \| tree \| snapshot
2017-04-27	Simon Huber	Show idC and idJ as we parse them	commit \| commitdiff \| tree \| snapshot
2017-04-26	Arseniy Alekseyev	More parentheses when printing values	commit \| commitdiff \| tree \| snapshot
2017-04-22	Arseniy Alekseyev	better error message from checkPLam	commit \| commitdiff \| tree \| snapshot
2017-04-21	Simon Huber	Merge pull request #58 from Rotsor/patch-1	commit \| commitdiff \| tree \| snapshot
2017-04-19	Rotsor	Emacs mode: ignore backslash character	commit \| commitdiff \| tree \| snapshot
2017-01-19	Anders Mörtberg	minor changes to bool	commit \| commitdiff \| tree \| snapshot
2017-01-19	Anders Mörtberg	experiment with Id	commit \| commitdiff \| tree \| snapshot
2017-01-04	Anders Mörtberg	Merge pull request #56 from linuborj/cubicaltt_grothendieck	commit \| commitdiff \| tree \| snapshot
2017-01-03	linusbo	Uncommented slow function.	commit \| commitdiff \| tree \| snapshot
2017-01-02	linusbo	Added definitions of algebraic structures in algstruct...	commit \| commitdiff \| tree \| snapshot
2016-12-25	Anders Mörtberg	swap direction of equality to match order in comment	commit \| commitdiff \| tree \| snapshot
2016-12-25	Anders Mörtberg	add opposite category	commit \| commitdiff \| tree \| snapshot
2016-12-01	Anders Mörtberg	add a comment to category	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	readme	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	update demo	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	readme	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	readme	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	README	commit \| commitdiff \| tree \| snapshot
2016-10-22	Anders Mörtberg	update readme	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	doc	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	doc	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	test	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	test	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	add a readme for the examples folder	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	add summary file	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	doc	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	move graph script	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	comment	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	add a script for loading all files	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	comments	commit \| commitdiff \| tree \| snapshot
2016-10-21	Anders Mörtberg	move implicit point	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	a lot of comments	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	remove undefined and make csystem compile	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	comments	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	update category	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	comments	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	add transparent_all to keywords in emacs file	commit \| commitdiff \| tree \| snapshot
2016-10-20	Anders Mörtberg	remove examples/aim.ctt as it is subsumed by examples...	commit \| commitdiff \| tree \| snapshot
2016-09-22	Anders Mörtberg	add a small puzzle due to Andrew Polonsky	commit \| commitdiff \| tree \| snapshot
2016-09-22	Anders Mörtberg	Merge pull request #49 from mortberg/defeqJ	commit \| commitdiff \| tree \| snapshot
2016-09-19	Simon Huber	Fix insertSystem to maintain invariant for systems	commit \| commitdiff \| tree \| snapshot
2016-09-15	Anders Mörtberg	cleaning	commit \| commitdiff \| tree \| snapshot
2016-09-15	Anders Mörtberg	cleaning	commit \| commitdiff \| tree \| snapshot
2016-09-14	Anders Mörtberg	visible -> transparent	commit \| commitdiff \| tree \| snapshot
2016-09-14	Anders Mörtberg	direct definition of retract	commit \| commitdiff \| tree \| snapshot
2016-09-14	Anders Mörtberg	add Dan's proof of univalence from ua and uabeta	commit \| commitdiff \| tree \| snapshot
2016-08-10	Anders Mörtberg	Merge pull request #50 from david-christiansen/elisp...	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Emacs mode: Update names for Customize	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Update README for Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Remove redundant comment command from Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Remove CL-isms from Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Rename Emacs mode identifiers	commit \| commitdiff \| tree \| snapshot
2016-08-01	David Christiansen	Better comment about space-escaping in Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	define equivalence using Id and prove univalence with...	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	minor changes	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	cleaning and a version of univalence for Id	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	rename Eq to Id	commit \| commitdiff \| tree \| snapshot
2016-07-29	Simon Huber	Some experiments with Eq	commit \| commitdiff \| tree \| snapshot
2016-07-29	Simon Huber	Added Eq types with definitional equality for J	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge pull request #46 from david-christiansen/elisp...	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge pull request #45 from david-christiansen/emacs...	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge pull request #44 from gullcomb/opt-decl-cmp	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	change back conversion	commit \| commitdiff \| tree \| snapshot
2016-07-29	Anders Mörtberg	Merge branch 'conv'	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Improve the display of Emacs customize	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Add imenu support to the Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Add support for completion	commit \| commitdiff \| tree \| snapshot
2016-07-26	David Raymond...	Make the Emacs mode work for package.el	commit \| commitdiff \| tree \| snapshot
2016-07-25	David Christiansen	Add subprocess to Emacs mode	commit \| commitdiff \| tree \| snapshot
2016-07-14	Anders Mörtberg	minor changes	commit \| commitdiff \| tree \| snapshot
2016-07-12	Guillaume Combette	Tag declarations with their location.	commit \| commitdiff \| tree \| snapshot
2016-07-12	Guillaume Combette	Fix build for GHC 7.8	commit \| commitdiff \| tree \| snapshot
2016-07-11	Anders Mörtberg	fix bug in printing	commit \| commitdiff \| tree \| snapshot
2016-07-11	Anders Mörtberg	cleaning of binnat	commit \| commitdiff \| tree \| snapshot
2016-07-11	Anders Mörtberg	Clean up of univalence and add the definition of unival...	commit \| commitdiff \| tree \| snapshot
2016-07-08	Rafaël Bocquet	Merge branch 'csystems'	commit \| commitdiff \| tree \| snapshot
2016-07-08	Rafaël Bocquet	Fix conv	commit \| commitdiff \| tree \| snapshot
2016-07-08	Rafaël Bocquet	Merge branch 'master' into csystems	commit \| commitdiff \| tree \| snapshot
next

My fork of cubicaltt with web interface using Reflex.

RSS Atom