9

dir
109
http://svn.gna.org/svn/geoproof/trunk
http://svn.gna.org/svn/geoproof



2009-01-10T09:09:20.893250Z
109
jnarboux


svn:special svn:externals svn:needs-lock











30785b90-cc07-0410-b14e-c8b1d7bfd205

objets_texte_point.ml
file




2012-10-22T07:19:39.000000Z
b73fafd2acea6fff586493e8c3262e6e
2008-01-11T16:29:55.000573Z
96
jnarboux





















4476

objects_test_left_turn.ml
file




2006-08-24T14:31:24.000000Z
7b39028cac67b0f0aa703fa9e717a410
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_cercle_centre_point.ml
file




2006-08-24T14:31:24.000000Z
39e7de38d781e6bf47ed44045526650d
2006-08-16T16:47:40.760163Z
20
jnarboux

atp
dir

objets_cercle_diametre.ml
file




2006-08-24T14:31:24.000000Z
f1f95ad36976ed67b10b4bdd5fa132c6
2006-08-16T16:47:40.760163Z
20
jnarboux

AUTHORS
file




2006-08-24T14:31:24.000000Z
d45970b960577930fb8d6b892ddeca65
2006-05-02T10:24:58.568945Z
12
jnarboux

i18n.ml
file




2012-10-22T07:19:39.000000Z
16011a69d6a5cea3f59e08ee1187165e
2008-01-11T16:29:55.000573Z
96
jnarboux





















2588

repere.ml
file




2012-10-22T07:19:39.000000Z
343469e7fc8a1219139761f748de97bb
2008-01-11T16:29:55.000573Z
96
jnarboux





















5610

objets_vecteur.ml
file




2012-10-22T07:19:39.000000Z
84949fabebd01906d5d9e710cf9cd238
2008-01-18T08:51:53.555234Z
104
jnarboux





















2817

tools
dir

analyse_semantique_langue_naturelle.ml
file




2006-08-24T14:31:24.000000Z
0dab41b1b09e7a2d6c67c9ac2ff6820c
2006-08-16T16:47:40.760163Z
20
jnarboux

output_pst_eucl.ml
file




2006-08-24T14:31:24.000000Z
80db1fd9d0475faaf2da74b991abefda
2006-08-24T14:27:49.915148Z
29
jnarboux

doc
dir

objets_intersection_cercle_droite.ml
file




2006-08-24T14:31:24.000000Z
6c3964675ff9a3b6ef4161e531b4e07b
2006-08-18T15:43:09.659180Z
23
jnarboux

objets_texte.ml
file




2012-10-22T07:19:39.000000Z
0df68bb6da989da1118c2659ef890ad8
2008-01-18T08:51:53.555234Z
104
jnarboux





















4438

objets_texte_clique.ml
file




2006-08-24T14:31:24.000000Z
24c6eee0580e6e4d87ade35bb75fa0b0
2006-08-18T15:43:09.659180Z
23
jnarboux

COPYING
file




2006-08-24T14:31:24.000000Z
393a5ca445f6965873eca0259a17f833
2005-12-13T12:09:49.831847Z
4
jnarboux

objects_measure_area.ml
file




2006-08-24T14:31:24.000000Z
31cb1a474145daabfc68f6a6fe425179
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_segment.ml
file




2012-10-22T07:19:39.000000Z
9055e4ce3a03adaa4eb77a4bd0bfe723
2008-01-12T08:28:07.104001Z
101
jnarboux





















2780

coq_proofs.ml
file




2006-08-24T14:31:24.000000Z
4b3c9300dbbf2adf3b956528032d349c
2006-08-18T00:37:40.501528Z
21
jnarboux

configure.in
file




2012-10-22T07:19:39.000000Z
3659493c08067de1684111325690e3c5
2008-01-18T12:56:23.073096Z
105
jnarboux





















9392

input_xml_Coq.ml
file




2006-08-24T14:31:24.000000Z
beaeac4b92289c92210b0eea1a969995
2006-08-16T16:47:40.760163Z
20
jnarboux

distrib
dir

objets_droite_orthogonale.ml
file




2006-08-24T14:31:24.000000Z
ce27903a7cbf9f20708dbcfcaaeb4078
2006-08-16T16:47:40.760163Z
20
jnarboux

input_xml_constructive_theorems.ml
file




2006-08-24T14:31:24.000000Z
a5786d4e19ebd6cb3347dc1467f50b11
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_point_transforme.ml
file




2006-08-24T14:31:24.000000Z
a1b1b576efdf2075f7ed6281c0d556f5
2006-08-16T16:47:40.760163Z
20
jnarboux

README.i18n
file




2006-08-24T14:31:24.000000Z
52e90b773c024c2f4a2b486791083766
2005-12-13T12:09:49.831847Z
4
jnarboux

icons
dir

couche.ml
file




2006-08-24T14:31:24.000000Z
4c874887f846aec55718eca804f22e35
2006-08-16T16:47:40.760163Z
20
jnarboux

types_de_base.ml
file




2012-10-22T07:19:39.000000Z
6333536455f99a350f1605c9602a58cd
2008-01-11T16:29:55.000573Z
96
jnarboux





















3381

font.ml
file




2006-08-24T14:31:24.000000Z
085a31ead72b60e2ac1858f441277c37
2006-08-16T16:47:40.760163Z
20
jnarboux

input_coords.ml
file




2006-08-24T14:31:24.000000Z
ba7a05acc3566635fbcb031db1aac017
2006-08-16T16:47:40.760163Z
20
jnarboux

window_expressions.ml
file




2006-08-24T14:31:24.000000Z
b827ede3793ca99b786fd8e131b13df2
2006-08-16T16:47:40.760163Z
20
jnarboux

geometric_functions.ml.in
file




2012-10-22T07:19:39.000000Z
1941455db9e27ab570ed2b036b48b944
2007-09-26T11:58:10.780615Z
82
jnarboux





















8255

objets_cercle_trois_points.ml
file




2006-08-24T14:31:24.000000Z
66037834e77fdcba7e9234aeeb90340f
2006-08-16T16:47:40.760163Z
20
jnarboux

autoconf.ml.in
file




2006-08-24T14:31:24.000000Z
df793ae950542fc1a03320fe5def871d
2005-12-13T12:59:30.503244Z
6
jnarboux

objects_point_left_turn.ml
file




2006-08-24T14:31:24.000000Z
10b75b4dd30dda7d2e7c55d5e09856d6
2006-08-16T16:47:40.760163Z
20
jnarboux

locale
dir

objets_texte_mesure_distance.ml
file




2006-08-24T14:31:24.000000Z
ac84fe30e4c34e9453568b465f995113
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_texte_droites_par.ml
file




2006-08-24T14:31:24.000000Z
e06cfcf23b2374f6e5074f731124370a
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_demi_droite.ml
file




2012-10-22T07:19:39.000000Z
6c0b803425018dc96cf95f1d84d32ead
2008-01-12T08:28:07.104001Z
101
jnarboux





















2525

construction.ml
file




2012-10-22T07:19:39.000000Z
b4932161e3edc6564408dfbe1b3290f7
2007-06-26T15:26:24.284795Z
79
jnarboux





















7297

tests
dir

objets_droite_transforme.ml
file




2006-08-24T14:31:24.000000Z
be553faf0d38f99cf2695f92ad5bd58d
2006-08-16T16:47:40.760163Z
20
jnarboux

lib
dir

objets_point.ml
file




2012-10-22T07:19:39.000000Z
0344d538e85a115cb0d3a677a9febcbd
2008-01-12T08:18:07.076803Z
100
jnarboux





















3476

INSTALL
file




2012-10-22T07:19:39.000000Z
cb17e66d50aae4136087bfed31332eb6
2008-01-11T17:31:47.583803Z
98
jnarboux





















4008

input_exceptions.ml
file




2006-08-24T14:31:25.000000Z
96ad0c6c02203571328cadee8c00a406
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_point_clique.ml
file




2006-08-24T14:31:25.000000Z
760fc504fbddb61df34b42188b3435da
2006-08-16T16:47:40.760163Z
20
jnarboux

output_coq.ml
file




2006-08-24T14:31:25.000000Z
7813021c9289addb8152a7f7e7730e12
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_ligne.ml
file




2012-10-22T07:19:39.000000Z
a3faff71a7f7671811a57dd1c4eccda7
2008-01-11T16:29:55.000573Z
96
jnarboux





















4318

input_xml_CaR.ml
file




2006-08-24T14:31:25.000000Z
cb0f55fa4dd388b9109742d7cf4cff80
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_texte_droite.ml
file




2006-08-24T14:31:25.000000Z
f652837caf74e45bcd904dbd1760127e
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_segment_transforme.ml
file




2006-08-24T14:31:25.000000Z
7b1483cfda19c3d28999b4445b5f52c9
2006-08-16T16:47:40.760163Z
20
jnarboux

input_xml_Kig.ml
file




2006-08-24T14:31:25.000000Z
8e02ae074715f2d7e3b4bec5f424b6de
2006-08-16T16:47:40.760163Z
20
jnarboux

arbitrary_precision.ml
file




2012-10-22T07:19:39.000000Z
e60933b4db6f9ea8b0eb0b7ad8ae28fe
2007-09-26T11:58:10.780615Z
82
jnarboux





















2309

DEVELOPPER_README
file




2006-08-24T14:31:25.000000Z
35b4c136c6dcf075c16727a21c2bfc94
2005-12-13T12:59:30.503244Z
6
jnarboux

objets_droite_parallele.ml
file




2006-08-24T14:31:25.000000Z
9915a4e1c3dc8669f84056d7230e00e0
2006-08-16T16:47:40.760163Z
20
jnarboux

studied_facts.ml
file




2006-08-24T14:31:25.000000Z
61ed24c2d044ba78c839e8e7315fadae
2006-08-16T16:47:40.760163Z
20
jnarboux

README
file




2012-10-22T07:19:39.000000Z
5e57e913ea2585d4c9af5ea2ec39bdf1
2008-01-11T16:29:55.000573Z
96
jnarboux





















2083

parser_expressions.mly
file




2006-08-24T14:31:25.000000Z
5523bb77d37cdb30577babcfc54a3a0f
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_repere.ml
file




2012-10-22T07:19:39.000000Z
1aca1ba3c2dbea1ed1cf7e574cb4fe3a
2008-01-12T08:18:07.076803Z
100
jnarboux





















6196

objets_segment_deux_points.ml
file




2012-10-22T07:19:39.000000Z
bef843e65094dcfeac92141443a81aa7
2008-01-12T08:18:07.076803Z
100
jnarboux





















4520

FAQ
file




2006-08-24T14:31:25.000000Z
77315affbb4c512645841c2722ecfce9
2005-12-13T12:59:30.503244Z
6
jnarboux

interface.ml
file




2012-10-22T07:19:39.000000Z
088bab82d9d3b9b1d625facb311a00de
2008-01-18T16:29:33.557443Z
106
jnarboux





















61563

fonctions.ml
file




2012-10-22T07:19:39.000000Z
77cf4213c5a1aecffc98f2535676ac6d
2008-01-11T16:29:55.000573Z
96
jnarboux





















2286

debian
dir

objets_droite_bissectrice.ml
file




2006-08-24T14:31:25.000000Z
039f64e356348d6b393be8b86317df50
2006-08-16T16:47:40.760163Z
20
jnarboux

Makefile.in
file




2012-10-22T07:19:39.000000Z
23564db5b49eb261c49055085bfbab59
2008-01-18T12:56:23.073096Z
105
jnarboux





















6882

input_xml_Drg.ml
file




2012-10-22T07:19:39.000000Z
c50b5c9711ec9470ddc81f2c47876c35
2006-09-24T16:59:33.475137Z
41
jnarboux





















10668

objets_texte_mesure_angle.ml
file




2006-08-24T14:31:25.000000Z
11f2430d839f0ee8ad1bf8a294235798
2006-08-16T16:47:40.760163Z
20
jnarboux

mark_management.ml
file




2006-08-24T14:31:25.000000Z
bf67837f6544e89ebed319ed8b708016
2006-08-16T16:47:40.760163Z
20
jnarboux

ast_expressions.ml
file




2006-08-24T14:31:25.000000Z
ef1be3584055c38fbb85f6d7c2cb6098
2006-08-16T16:47:40.760163Z
20
jnarboux

output_kig.ml
file




2006-08-24T14:31:25.000000Z
75ef3b5ea61065d8c5c5aee05236d7b9
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_droite.ml
file




2012-10-22T07:19:39.000000Z
46e21526cb7bf339a57b102ce8ccce61
2008-01-18T08:51:53.555234Z
104
jnarboux





















2581

objets_point_sur_droite.ml
file




2006-08-24T14:31:25.000000Z
f1c04b2d558128bc435c94104c4beae9
2006-08-20T00:42:24.859514Z
27
jnarboux

objets_cercle.ml
file




2012-10-22T07:19:39.000000Z
523424b249a9b4b277c5cf8071e4bf79
2008-01-18T08:51:53.555234Z
104
jnarboux





















2564

objets_point_sur_cercle.ml
file




2006-08-24T14:31:25.000000Z
b5e25bcd1e56918eb0ceca9ac79e093b
2006-08-16T16:47:40.760163Z
20
jnarboux

files_to_exclude
file




2012-10-22T07:19:39.000000Z
837dec92bca7c3c8b4c129c44f9255a9
2006-08-25T17:22:57.619349Z
34
jnarboux





















20

evaluation_expressions.ml
file




2012-10-22T07:19:39.000000Z
31890c55f890565584035b8acd45d137
2007-09-26T11:58:10.780615Z
82
jnarboux





















12205

objets_demi_droite_deux_points.ml
file




2012-10-22T07:19:39.000000Z
9fb62a409d5e21e882005288c27342a7
2008-01-18T08:51:53.555234Z
104
jnarboux





















4434

objets_texte_droites_perp.ml
file




2006-08-24T14:31:25.000000Z
e47c248d195be9ea91d62ad30c35f273
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_graphiques.ml
file




2012-10-22T07:19:39.000000Z
df46d9e577e0854deaf8950ffc570453
2008-01-12T08:18:07.076803Z
100
jnarboux





















16766

input_xml.ml
file




2006-08-24T14:31:25.000000Z
1affc5efcaa6b7698f071c01b5ec7151
2006-08-16T16:47:40.760163Z
20
jnarboux

float_precision.ml
file




2012-10-22T07:19:39.000000Z
1e286d43d4e4f3518f98ee68ea2f2fd9
2008-01-08T10:27:16.738514Z
86
jnarboux





















2184

output_fonctions.ml
file




2006-08-24T14:31:25.000000Z
745b63f3e56c2d05ae76e741a1816d33
2006-08-16T16:47:40.760163Z
20
jnarboux

object_studied_fact.ml
file




2006-08-24T14:31:25.000000Z
4fd45c604ab4cf3714b66b02fce68294
2006-08-16T16:47:40.760163Z
20
jnarboux

output_car.ml
file




2006-08-24T14:31:25.000000Z
5513be49cac1d5dcf99251be22f5fa74
2006-08-16T16:47:40.760163Z
20
jnarboux

output_natural_language.ml
file




2006-08-24T14:31:25.000000Z
0e520fe9912caab7dc7e6d9faf6c737e
2006-08-16T16:47:40.760163Z
20
jnarboux

parser_langue_naturelle.mly
file




2006-08-24T14:31:25.000000Z
ffa965540aa02083418faebf83e1adb0
2006-08-16T16:47:40.760163Z
20
jnarboux

output_drg.ml
file




2006-08-24T14:31:25.000000Z
fe5e4931b7d7e63b48d2defa8034ab30
2006-08-16T16:47:40.760163Z
20
jnarboux

optionsdeconfiguration.ml
file




2012-10-22T07:19:39.000000Z
f9b2a140e5e445443e752ea31fa12adf
2006-09-25T09:51:03.662798Z
46
jnarboux





















8395

couleurs.ml
file




2012-10-22T07:19:39.000000Z
b20ef4b33777ac03135f6f4449b027a2
2008-01-11T16:29:55.000573Z
96
jnarboux





















3932

parser_logic.mly
file




2006-08-24T14:31:25.000000Z
29561cde0ebee0e35589d3096929b110
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_texte_points_confondus.ml
file




2006-08-24T14:31:25.000000Z
18d02d7694a4b3e8cbe0ca7e2bab7f61
2006-08-16T16:47:40.760163Z
20
jnarboux

configure
file




2012-10-22T07:19:39.000000Z
720b6c28fdaa1350675c263b76e7a1af
2008-12-30T11:21:36.988993Z
107
jnarboux
has-props




















91739

objects_point_between.ml
file




2006-08-24T14:31:25.000000Z
bce13e611e10f43b392b9055cd55cd1b
2006-08-16T16:47:40.760163Z
20
jnarboux

automatic_proofs.ml
file




2012-10-22T07:19:39.000000Z
4ef76112985913ad51e4a3693902a9dc
2007-06-26T16:25:55.285124Z
80
jnarboux





















11433

automate.ml
file




2012-10-22T07:19:39.000000Z
2dace4e76884cd94c4dcb0a10e9aaf0b
2008-01-11T16:29:55.000573Z
96
jnarboux





















97772

objets_droite_mediatrice.ml
file




2006-08-24T14:31:25.000000Z
e1884d84de617deb97434cf45f2dd2fc
2006-08-16T16:47:40.760163Z
20
jnarboux

document_gui.ml
file




2012-10-22T07:19:39.000000Z
e17505a92e750a03b7ae5dca8956cba7
2008-12-30T11:21:36.988993Z
107
jnarboux





















7316

debug.ml
file




2006-08-24T14:31:25.000000Z
c88a6855cd58d4f4fff28ad161a85193
2006-08-16T16:47:40.760163Z
20
jnarboux

output_eukleides.ml
file




2012-10-22T07:19:39.000000Z
9954b4101b44f96282e99af4b8fdb925
2007-06-26T16:41:27.794604Z
81
jnarboux





















3100

lexer_expressions.mll
file




2006-08-24T14:31:25.000000Z
600967a0db9e506eba906534ea0a5efe
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_texte_alignement.ml
file




2006-08-24T14:31:25.000000Z
aa5123cfe17e8b99a206cceb488280ee
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_vecteur_deux_points.ml
file




2012-10-22T07:19:39.000000Z
755cc75c5e42ce264a4f7181145b3131
2008-01-18T08:51:53.555234Z
104
jnarboux





















4749

document_managment.ml
file




2012-10-22T07:19:39.000000Z
f8cd8c4c5947dc26748492364bebca5c
2006-09-25T18:58:59.966799Z
48
jnarboux





















6601

input_langue_naturelle.ml
file




2006-08-24T14:31:25.000000Z
829d19cca24a9c1d7aa098228ee4599f
2006-08-16T16:47:40.760163Z
20
jnarboux

lexer_logic.mll
file




2006-08-24T14:31:25.000000Z
6a46a45db24573203cc7e4a11fcfe85b
2006-08-16T16:47:40.760163Z
20
jnarboux

objects_segment_marks.ml
file




2012-10-22T07:19:39.000000Z
b625f1abfa29d705873f9d8f2d7ca31c
2008-01-18T08:51:53.555234Z
104
jnarboux





















4140

icons.ml
file




2012-10-22T07:19:39.000000Z
9ee1628823e222a2efbf2c3ee02a71e3
2008-01-12T11:03:49.005754Z
102
jnarboux





















7133

typing_expressions.ml
file




2006-08-24T14:31:25.000000Z
f0d896f4745796149259bb9c07b02fae
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_intersection_cercles.ml
file




2012-10-22T07:19:39.000000Z
87ccfc3162298b7aa0e2e6efd18c6aed
2006-09-24T13:31:23.342865Z
38
jnarboux





















5346

objets_droite_deux_points.ml
file




2006-08-24T14:31:25.000000Z
069de45668cc69967b72b986fe93baeb
2006-08-18T15:43:09.659180Z
23
jnarboux

objets_test_congruent_segments.ml
file




2012-10-22T07:19:39.000000Z
16fe08bd11142f52229a9c56132a0045
2008-01-18T08:51:53.555234Z
104
jnarboux





















3858

createur_de_noms.ml
file




2006-08-24T14:31:25.000000Z
5f3bc926bb6b80c252108d6e5da84066
2006-08-16T16:47:40.760163Z
20
jnarboux

OCamlMakefile
file




2006-08-24T14:31:25.000000Z
6d586c8af353277b6ffa1f9e1adea960
2005-12-13T12:09:49.831847Z
4
jnarboux

apropos.ml
file




2012-10-22T07:19:39.000000Z
dd0d3989c66ed8effc03bcd6951d5f03
2008-01-12T11:03:49.005754Z
102
jnarboux





















3522

main.ml
file




2006-08-24T14:31:25.000000Z
5770b72e7340cc5dc67d67a726ad78be
2006-08-16T16:47:40.760163Z
20
jnarboux

theorems.ml
file




2012-10-22T07:19:39.000000Z
574e77f9ec477f8c399d9e1419a44c5c
2006-08-28T17:28:37.406914Z
37
jnarboux





















2418

TODO
file




2006-08-24T14:31:25.000000Z
dfe755fb45d69a10832b4001bc3ad0fb
2006-04-17T13:44:43.471100Z
11
jnarboux

lexer_langue_naturelle.mll
file




2006-08-24T14:31:25.000000Z
b4c66e0464f87ebcd7f1bb813215406a
2006-08-16T16:47:40.760163Z
20
jnarboux

objects_test_between.ml
file




2006-08-24T14:31:25.000000Z
0fd7a61e6f292c2f8bab8c38d3406d01
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_test_congruent_angles.ml
file




2006-08-24T14:31:25.000000Z
fe6275b6e14e834fb484d65d0ca58462
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_point_milieu.ml
file




2006-08-24T14:31:25.000000Z
362dfe0a150fa767f0705663e2c6555c
2006-08-18T15:43:09.659180Z
23
jnarboux

objets_cercle_transforme.ml
file




2006-08-24T14:31:25.000000Z
6cb1f3b0843a56540fd0ad4b03b11c85
2006-08-16T16:47:40.760163Z
20
jnarboux

objets_intersection_droites.ml
file




2006-08-24T14:31:25.000000Z
3308b952c0768189155458b86753657b
2006-08-20T00:42:24.859514Z
27
jnarboux

