]>
git.rustad.me Git - master/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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