User contributions
- 17:31, 31 October 2012 diff hist +554 AreParallel Command
- 17:18, 31 October 2012 diff hist +555 AreConcyclic Command
- 17:03, 31 October 2012 diff hist +4 m AreConcurrent Command
- 17:02, 31 October 2012 diff hist +552 AreCollinear Command
- 16:38, 31 October 2012 diff hist +584 AreConcurrent Command Creation
- 11:25, 2 June 2012 diff hist -7 m Prove Command
- 11:24, 2 June 2012 diff hist -14 ProveDetails Command
- 11:24, 2 June 2012 diff hist -165 ProveDetails Command Changes like for the Prove command
- 13:10, 1 June 2012 diff hist +88 Prove Command link to the wiki page
- 08:55, 1 June 2012 diff hist -17 m Prove Command Indentation removed
- 08:38, 1 June 2012 diff hist -213 Prove Command Simplifying
- 22:19, 31 May 2012 diff hist +103 ProveDetails Command Input can be easier
- 22:13, 31 May 2012 diff hist +75 Prove Command Output change, input syntax became easier
- 21:20, 28 May 2012 diff hist +94 Release Notes GeoGebra 5.0 + theorem proving
- 20:15, 17 May 2012 diff hist +10 m ProveDetails Command
- 15:09, 17 May 2012 diff hist +122 m ProveDetails Command Warning added
- 15:09, 17 May 2012 diff hist +122 m Prove Command Warning added
- 14:00, 17 May 2012 diff hist 0 m ProveDetails Command
- 13:59, 17 May 2012 diff hist +1,565 ProveDetails Command Adding ProveDetails
- 08:20, 16 May 2012 diff hist -4 m Prove Command
- 08:19, 16 May 2012 diff hist +1 m Prove Command
- 08:16, 16 May 2012 diff hist +489 Prove Command Another example
- 08:06, 16 May 2012 diff hist +461 Prove Command Example added
- 07:03, 16 May 2012 diff hist +142 Prove Command More explanation on numeric approach
- 23:25, 15 May 2012 diff hist +60 m ProveDetails Command Link to Prove command
- 23:23, 15 May 2012 diff hist +859 Prove Command Prove command, first version
- 11:59, 13 April 2012 diff hist +308 Reference:Command Line Arguments --versionCheckAllow and note about maybe incomplete list
- 11:53, 13 April 2012 diff hist +73 Release Notes GeoGebra 4.0 --versionCheckAllow