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