]> git.rustad.me Git - master/log
master
11 years agoTHRMS
Bjørn Rustad [Mon, 27 Oct 2014 16:29:27 +0000 (17:29 +0100)]
THRMS

11 years agoTHEOREMS
Bjørn Rustad [Fri, 24 Oct 2014 14:55:01 +0000 (16:55 +0200)]
THEOREMS

11 years agoCopy stuff from project
Bjørn Rustad [Wed, 22 Oct 2014 17:18:57 +0000 (19:18 +0200)]
Copy stuff from project

11 years agoMore is more
Bjørn Rustad [Tue, 21 Oct 2014 11:22:57 +0000 (13:22 +0200)]
More is more

11 years agoPlaceholder figures and theory
Bjørn Rustad [Tue, 14 Oct 2014 12:18:17 +0000 (14:18 +0200)]
Placeholder figures and theory

11 years agoProve some stuffs
Bjørn Rustad [Thu, 9 Oct 2014 15:39:54 +0000 (17:39 +0200)]
Prove some stuffs

11 years agoMore scribblin
Bjørn Rustad [Thu, 18 Sep 2014 12:37:01 +0000 (14:37 +0200)]
More scribblin

11 years agoSome more scribblin on the theory
Bjørn Rustad [Mon, 15 Sep 2014 07:44:53 +0000 (09:44 +0200)]
Some more scribblin on the theory

11 years agoOppgavetekst til kontrakten
Bjørn Rustad [Mon, 15 Sep 2014 07:44:33 +0000 (09:44 +0200)]
Oppgavetekst til kontrakten

11 years agoSome more structure
Bjørn Rustad [Wed, 10 Sep 2014 14:32:49 +0000 (16:32 +0200)]
Some more structure

11 years agoSetting up the structure
Bjørn Rustad [Wed, 10 Sep 2014 10:07:33 +0000 (12:07 +0200)]
Setting up the structure