GG A.2. - Renaming classes and packages related to Construction Protocol

cmb33595 / open-geo-prover

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

0 stars 0 forks source link

GG A.2. - Renaming classes and packages related to Construction Protocol #17

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Current term "Construction Protocol" should be replaced by "Theorem Protocol" 
since it really contains information about entire theorem, not only about 
construction steps for the theorem.

Therefore, all related classes and packages have to be properly renamed.

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

GoogleCodeExporter commented 9 years ago

Revisions r188 and r189 renamed necessary classes and packages in main 
development trunk.

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

GoogleCodeExporter commented 9 years ago

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

GoogleCodeExporter commented 9 years ago

Additional revision r192 removed old prover protocol directory from trunk.

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

GoogleCodeExporter commented 9 years ago

Revisions r193, r194 and r195 are made for main GeoGebra baseline.

Original comment by ivan.petrovic.matf on 9 Jun 2012 at 2:07

GoogleCodeExporter commented 9 years ago

Revisions r196, r197 and r198 are made for Area method branch.

Original comment by ivan.petrovic.matf on 9 Jun 2012 at 2:40

GoogleCodeExporter commented 9 years ago

Issue completed.

Original comment by ivan.petrovic.matf on 9 Jun 2012 at 2:40

Changed state: Fixed

GoogleCodeExporter commented 9 years ago

New revision r205 (main trunk) renamed consProtocol reference with thmProtocol 
in OGP Report class. Change is already in other branches (GeoGebra with r202 
and Area method with r203).

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