?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork

 
descriptionPropositions' references
homepage URLhttps://github.com/quatrilio/propref
repository URLhttps://github.com/quatrilio/propref.git
ownerquatrilio@gmail.com
last changeThu, 7 Aug 2014 14:30:23 +0000 (7 16:30 +0200)
last refreshThu, 26 Jul 2018 13:52:43 +0000 (26 15:52 +0200)
mirror URLgit://repo.or.cz/propref.git
https://repo.or.cz/propref.git
ssh://git@repo.or.cz/propref.git
bundle infopropref.git downloadable bundles
content tags
add:
readme
References of proposition, theorems, corollaries, axioms, etc.
shortlog
2014-08-07 XavierRemove type of the document (book, article, etc.) It... master commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xavieronly one carriage return commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xaviertest function -> remove commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xaviertest function commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xaviertest function commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xaviertest function commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xaviertest function commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 XavierPrinting the keys of struct in result commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 XavierExtract_Latex -> returning Doctype=latex commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xaviercharset variable renamed to encoding commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xavierversion 0.006 commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xavierremove named variables commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xavierremove import commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xavierproperly return commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xaviermove iconv library commit | commitdiff | tree | snapshot (tar.gz zip)
2014-06-20 Xavierfix minor syntax problems commit | commitdiff | tree | snapshot (tar.gz zip)
...
heads
9 years ago master log | tree
Propositions' references