ivan-z-petrovic / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover [author of the original repository on GoogleCode]
3 stars 2 forks source link

GG A.3. - Adding QDParser to GeoGebra's branch of OGP #10

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
It is required to add QDParser (quick and dirty parser) for parsing XML files 
for input of geometry constructions. The same parser is used in GeoGebra code.

1. Take QDParser.java file from development trunk of GeoGebra and integrate in 
OGP's branch for GeoGebra.

2. Take DocHandler.java interface from GeoGebra's development trunk and 
integrate in OGP's branch for GeoGebra.

3. Implement custom document handler for purpose of parsing XML files with 
constructions imported from GeoGebra side (XML input will be in GeoGebra's XML 
format and only construction part will be present i.e. all between tags 
<construction> and </construction> including these 2 tags).

Original issue reported on code.google.com by ivan.pet...@gmail.com on 8 Apr 2012 at 11:37

GoogleCodeExporter commented 9 years ago
Revision #r61 added initial code changes for parsing XML input files with 
geometry constructions from GeoGebra.

Original comment by ivan.pet...@gmail.com on 8 Apr 2012 at 11:44

GoogleCodeExporter commented 9 years ago
Revision #r64 fixed bugs with absolute paths to I/O and logger directories.

Original comment by ivan.petrovic.matf on 9 Apr 2012 at 8:09

GoogleCodeExporter commented 9 years ago
Revision #r68 added initial support for various GeoGebra's construction 
commands to document handler class.

Original comment by ivan.petrovic.matf on 24 Apr 2012 at 12:02

GoogleCodeExporter commented 9 years ago
This issue belongs to A.2 stage of work on GeoGebra specific baseline.

Original comment by ivan.petrovic.matf on 2 May 2012 at 10:22

GoogleCodeExporter commented 9 years ago
Corrected the stage of work - it is A.3.

Original comment by ivan.petrovic.matf on 14 May 2012 at 10:19

GoogleCodeExporter commented 9 years ago
This is issue for work on GeoGebra branch.

Original comment by ivan.petrovic.matf on 14 May 2012 at 10:22

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 14 May 2012 at 10:24

GoogleCodeExporter commented 9 years ago
New revision r155 is made to add first part of changes for re-factored code for 
XML parsing of GeoGebra constructions.

Original comment by ivan.petrovic.matf on 16 May 2012 at 6:00

GoogleCodeExporter commented 9 years ago
New revision r158 is made to complete code re-factoring of XML parsing for 
GeoGebra constructions.

Original comment by ivan.petrovic.matf on 20 May 2012 at 5:48

GoogleCodeExporter commented 9 years ago
Revision r159 added all new changes from GeoGebra to AreaMethod branch.

Original comment by ivan.petrovic.matf on 20 May 2012 at 6:41

GoogleCodeExporter commented 9 years ago
Revision r160 added common changes from revision r158 to main development trunk.

Original comment by ivan.petrovic.matf on 20 May 2012 at 6:50

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 4 Jun 2012 at 11:43