diff options
| author | Cyril Cohen | 2018-04-17 17:00:15 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-04-18 10:49:18 +0200 |
| commit | 13479422b0286c86d0888e06aba112153ca6314d (patch) | |
| tree | 6b921cad503e12fcea8dc7cc136667a54ea86bf4 /mathcomp/real_closed/Make | |
| parent | c1ec9cd8e7e50f73159613c492aad4c6c40bc3aa (diff) | |
Moving real_closed to another repo
Diffstat (limited to 'mathcomp/real_closed/Make')
| -rw-r--r-- | mathcomp/real_closed/Make | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/mathcomp/real_closed/Make b/mathcomp/real_closed/Make deleted file mode 100644 index 1e013d3..0000000 --- a/mathcomp/real_closed/Make +++ /dev/null @@ -1,13 +0,0 @@ -all_real_closed.v -bigenough.v -cauchyreals.v -complex.v -ordered_qelim.v -polyorder.v -polyrcf.v -qe_rcf_th.v -qe_rcf.v -realalg.v -mxtens.v - --R . mathcomp.real_closed
\ No newline at end of file |