GG A.2. - Changes in OGP constructions

Wallly / open-geo-prover

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

0 stars 0 forks source link

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

1. Creating new type of shortcut construction for list of simple constructions.
2. Fixing name of construction of reflected point.

Original issue reported on code.google.com by ivan.petrovic.matf on 14 May 2012 at 10:17

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:23

GoogleCodeExporter commented 9 years ago

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

GoogleCodeExporter commented 9 years ago

Revision for main dev trunk is r153.

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

GoogleCodeExporter commented 9 years ago

Revision for GG trunk is r154.

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

GoogleCodeExporter commented 9 years ago

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