]> git.rustad.me Git - master/commit
projects / master / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d300eb) | patch
Prove some stuffs
authorBjørn Rustad <bjorn@rustad.me>
Thu, 9 Oct 2014 15:39:54 +0000 (17:39 +0200)
committerBjørn Rustad <bjorn@rustad.me>
Thu, 9 Oct 2014 15:39:54 +0000 (17:39 +0200)
commitcf4154a2e9f1923c83de91b018ac36ac9a1ab48d
tree1585b7deda1166745f098ab5470b96032abbe9fatree | snapshot
parent7d300ebadec80964f9095b376e4aa376f6eab718commit | diff
Prove some stuffs
commands.tex diff | blob | history
theory.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.