git.rustad.me Git - master/commit

]> git.rustad.me Git - master/commit

projects / master / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8c9cc0c) | patch

author	Bjørn Rustad <bjorn@rustad.me>
	Sun, 7 Dec 2014 17:45:49 +0000 (18:45 +0100)
committer	Bjørn Rustad <bjorn@rustad.me>
	Sun, 7 Dec 2014 17:45:49 +0000 (18:45 +0100)
commit	0537618e169be7f63ea23a646e5ea95c44399712
tree	326fb2e7d080091b12a231a7e6e3e588719f7b38	tree \| snapshot
parent	8c9cc0cda47503203fcfd9caee2262686c0104db	commit \| diff

Dominated conv thm and spelling

bib.bib		diff \| blob \| history
theory.tex		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.