git://colo12-c703.uibk.ac.at / Complex Analysis/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Update from HH master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Tue, 27 Aug 2013 11:24:06 +0000 (13:24 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Tue, 27 Aug 2013 11:24:06 +0000 (13:24 +0200)
commitcb6a49e45a2591f628639c525c88e9f844be134b
treeebaac01d4c1cf13f8a5d2e36cd31ae553e85abb1tree | snapshot
Update from HH
Complex/complex_grobner.ml [new file with mode: 0644] blob
Complex/complex_real.ml [new file with mode: 0644] blob
Complex/complex_transc.ml [new file with mode: 0644] blob
Complex/complexnumbers.ml [new file with mode: 0644] blob
Complex/cpoly.ml [new file with mode: 0644] blob
Complex/fundamental.ml [new file with mode: 0644] blob
Complex/grobner_examples.ml [new file with mode: 0644] blob
Complex/quelim.ml [new file with mode: 0644] blob
Complex/quelim_examples.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.