GG A.2.; A.6. - Implementation of API method for calling OGP from GeoGebra code

GreatStuff660 / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover

0 stars 0 forks source link

GG A.2.; A.6. - Implementation of API method for calling OGP from GeoGebra code #19

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

It is necessary to implement API method for calling OGP prover from GeoGebra 
code.

The method should receive input prover parameters and the theorem 
(constructions and statement) in XML format and should return output results 
with NDG conditions list.

Original issue reported on code.google.com by ivan.petrovic.matf on 9 Jun 2012 at 11:30

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 9 Jun 2012 at 11:32

Added labels: Priority-High
Removed labels: Priority-Medium

GoogleCodeExporter commented 9 years ago

Revisions r199 (main trunk), r200 (GeoGebra branch) and r201 (Area method 
branch) modified base classes that will be used by OGP API method for 
communication between OGP and external system.

Original comment by ivan.petrovic.matf on 9 Jun 2012 at 4:03

GoogleCodeExporter commented 9 years ago

New revisions r202 (GeoGebra branch) and r203 (Area method branch) added new 
OGP API for GeoGebra.

Original comment by ivan.petrovic.matf on 10 Jun 2012 at 7:27

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 17 Jun 2012 at 1:13

Changed state: Fixed