search

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.2. - Changes in OGP constructions #11

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