git://colo12-c703.uibk.ac.at / Jordan Curve theorem/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Update from HH master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Fri, 30 Aug 2013 09:32:18 +0000 (11:32 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Fri, 30 Aug 2013 09:32:18 +0000 (11:32 +0200)
commit870ba911174bc21eea667b378fe5aa0d126f069e
tree9a595ad0a1753333dc6f00aa65bf4f4d43d9d901tree | snapshot
Update from HH
15 files changed:
Jordan/float.ml [new file with mode: 0644] blob
Jordan/jordan_curve_theorem.ml [new file with mode: 0644] blob
Jordan/lib_ext.ml [new file with mode: 0644] blob
Jordan/metric_spaces.ml [new file with mode: 0644] blob
Jordan/misc_defs_and_lemmas.ml [new file with mode: 0644] blob
Jordan/num_ext_gcd.ml [new file with mode: 0644] blob
Jordan/num_ext_nabs.ml [new file with mode: 0644] blob
Jordan/parse_ext_override_interface.ml [new file with mode: 0644] blob
Jordan/real_ext.ml [new file with mode: 0644] blob
Jordan/real_ext_geom_series.ml [new file with mode: 0644] blob
Jordan/tactics_ext.ml [new file with mode: 0644] blob
Jordan/tactics_ext2.ml [new file with mode: 0644] blob
Jordan/tactics_fix.ml [new file with mode: 0644] blob
Jordan/tactics_refine.ml [new file with mode: 0644] blob
make.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.