]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0045fc5) | patch
Added new calculus
authoracondolu <andrea.condoluci@unibo.it>
Fri, 7 Jul 2017 16:04:21 +0000 (18:04 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 7 Jul 2017 16:23:21 +0000 (18:23 +0200)
commit537f15490817fe9e6d9e8e9c6a647d21df5942c3
treeca2915f9e8a6ccf115b0c5fd9af3ee67216bcdcctree | snapshot
parent0045fc5c60a58c20b79f4613f2fe0bd2fea51a46commit | diff
Added new calculus
calculus/main.aux [new file with mode: 0644] blob
calculus/main.fdb_latexmk [new file with mode: 0644] blob
calculus/main.fls [new file with mode: 0644] blob
calculus/main.log [new file with mode: 0644] blob
calculus/main.pdf [new file with mode: 0644] blob
calculus/main.synctex.gz [new file with mode: 0644] blob
calculus/main.tex [new file with mode: 0644] blob
calculus/preambolo.tex [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.