]>
git.rustad.me Git - master/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Bjørn Rustad [Mon, 1 Dec 2014 10:15:04 +0000 (11:15 +0100)]
new line family thing proof
Bjørn Rustad [Wed, 26 Nov 2014 18:18:10 +0000 (19:18 +0100)]
MOEAR
Bjørn Rustad [Fri, 21 Nov 2014 17:23:04 +0000 (18:23 +0100)]
Fixes
Bjørn Rustad [Fri, 21 Nov 2014 09:33:07 +0000 (10:33 +0100)]
Some rewriting and new figs
Bjørn Rustad [Mon, 17 Nov 2014 19:32:32 +0000 (20:32 +0100)]
LAME
Bjørn Rustad [Sun, 16 Nov 2014 16:02:51 +0000 (17:02 +0100)]
Figure sprint
Bjørn Rustad [Fri, 14 Nov 2014 10:48:34 +0000 (11:48 +0100)]
Ugly figure-argument
Bjørn Rustad [Tue, 11 Nov 2014 14:30:20 +0000 (15:30 +0100)]
More on discretization
Bjørn Rustad [Mon, 10 Nov 2014 13:50:20 +0000 (14:50 +0100)]
Some figures and some theory
Bjørn Rustad [Mon, 3 Nov 2014 16:53:00 +0000 (17:53 +0100)]
Three new figures
Bjørn Rustad [Mon, 3 Nov 2014 16:52:40 +0000 (17:52 +0100)]
Some more theory
Bjørn Rustad [Tue, 28 Oct 2014 16:34:08 +0000 (17:34 +0100)]
More theorems
Bjørn Rustad [Mon, 27 Oct 2014 16:29:27 +0000 (17:29 +0100)]
THRMS
Bjørn Rustad [Fri, 24 Oct 2014 14:55:01 +0000 (16:55 +0200)]
THEOREMS
Bjørn Rustad [Wed, 22 Oct 2014 17:18:57 +0000 (19:18 +0200)]
Copy stuff from project
Bjørn Rustad [Tue, 21 Oct 2014 11:22:57 +0000 (13:22 +0200)]
More is more
Bjørn Rustad [Tue, 14 Oct 2014 12:18:17 +0000 (14:18 +0200)]
Placeholder figures and theory
Bjørn Rustad [Thu, 9 Oct 2014 15:39:54 +0000 (17:39 +0200)]
Prove some stuffs
Bjørn Rustad [Thu, 18 Sep 2014 12:37:01 +0000 (14:37 +0200)]
More scribblin
Bjørn Rustad [Mon, 15 Sep 2014 07:44:53 +0000 (09:44 +0200)]
Some more scribblin on the theory
Bjørn Rustad [Mon, 15 Sep 2014 07:44:33 +0000 (09:44 +0200)]
Oppgavetekst til kontrakten
Bjørn Rustad [Wed, 10 Sep 2014 14:32:49 +0000 (16:32 +0200)]
Some more structure
Bjørn Rustad [Wed, 10 Sep 2014 10:07:33 +0000 (12:07 +0200)]
Setting up the structure
projects / master / log