├── .github └── workflows │ ├── build.yml │ └── test.yml ├── .gitignore ├── CMakeLists.txt ├── DOC ├── QuickRef.pdf └── techRepCISUC0601.pdf ├── LICENSE.md ├── LaTeX_packages ├── breqn.sty ├── cmbase.sym ├── color.sty ├── flexisym.sty ├── gclc.sty ├── gclc_proof.sty └── mathstyle.sty ├── README.md ├── XML_support ├── GeoCons.dtd ├── GeoConsGCLC.xsl ├── GeoConsHTML.xsl ├── GeoConsNL.xsl ├── GeoCons_proof.dtd └── GeoCons_proof.xsl ├── clang_format ├── executable └── .gitkeep ├── gclcWeb ├── .gitignore ├── CMakeLists.txt ├── index.html ├── package-lock.json ├── package.json ├── public │ ├── examples │ │ ├── 3d.gcl │ │ ├── cycloid.gcl │ │ ├── menelaus.gcl │ │ ├── parametric.gcl │ │ ├── tree.gcl │ │ └── triangle.gcl │ ├── favicon.ico │ └── style.css ├── src │ ├── build.ts │ ├── compiler.ts │ ├── editor.ts │ ├── file.ts │ ├── gclcLanguage │ │ ├── gclc.grammar │ │ ├── gclcLang.ts │ │ ├── lang.js │ │ └── lang.terms.js │ ├── info.ts │ ├── main.ts │ ├── outputView.ts │ ├── pane │ │ ├── panes.ts │ │ ├── settings.ts │ │ ├── terminal.ts │ │ └── time.ts │ ├── popup.ts │ ├── proof.ts │ ├── proof.xsl │ ├── share.ts │ ├── types.ts │ └── vite-env.d.ts ├── tsconfig.json └── vite.config.js ├── manual ├── .gitignore ├── fancyheadings.sty ├── figures │ ├── CC-BY-ND.png │ ├── Figure7.png │ ├── Figure8.png │ ├── freePoints1.png │ ├── freePoints2.png │ ├── gclc-gui.png │ ├── midpoint.gcl │ ├── midpoint.tkz │ ├── quick.gcl │ ├── quick.tkz │ ├── sample-conics.gcl │ ├── sample-conics.tkz │ ├── sample-curves.gcl │ ├── sample-curves.tkz │ ├── sample-while.gcl │ ├── sample-while.tkz │ ├── sample0-triangle.gcl │ ├── sample0-triangle.tkz │ ├── sample_ceva.gcl │ └── sample_ceva.tkz ├── fullpage.sty ├── gclc.sty ├── gclc_man.pdf ├── gclc_man.tex └── gclcproof.sty ├── regression_testing ├── compare_outputs.sh └── compare_proofs.sh ├── samples ├── basic_samples │ ├── sample01_triangle.gcl │ ├── sample02_triangle_Euler.gcl │ ├── sample03_polygons.gcl │ ├── sample04_triangle.gcl │ ├── sample05_inversion.gcl │ ├── sample06_hyp.gcl │ ├── sample07_hyp.gcl │ ├── sample08_conics.gcl │ ├── sample09_while.gcl │ ├── sample10_while_nested.gcl │ ├── sample11_function.gcl │ ├── sample12_scales.gcl │ ├── sample13_while.gcl │ ├── sample14_integral.gcl │ ├── sample15_colors.gcl │ ├── sample16_3d.gcl │ ├── sample17_ang3d.gcl │ ├── sample18_plot.gcl │ ├── sample19_procedure.gcl │ ├── sample20_print.gcl │ ├── sample21_hyp.gcl │ ├── sample22_tree.gcl │ ├── sample23_arrays_bubble-sort.gcl │ ├── sample24_fill.gcl │ ├── sample25_bezier.gcl │ ├── sample26_include_hyp.gcl │ ├── sample27_tree_nodes.gcl │ ├── sample28_Koch_AniaPiktas.gcl │ ├── sample29_GoldenCut_ThomasSpeziale.gcl │ ├── sample30_layers.gcl │ ├── sample31_3Dcircles_arcs_PierreLarochelle.gcl │ ├── sample32_spherical_quad_PierreLarochelle.gcl │ ├── sample33_spherical_triangle_PierreLarochelle.gcl │ ├── sample34_filled_circles.gcl │ ├── sample35_graphs.gcl │ └── sample36_3d_surface.gcl ├── samples_gui │ ├── about_gclc.gcl │ ├── sample_win01_time.gcl │ ├── sample_win02_cycloid.gcl │ ├── sample_win03_derivation.gcl │ ├── sample_win04_curves.gcl │ ├── sample_win05_lucic.gcl │ ├── sample_win06_lucic.gcl │ ├── sample_win07_3d.gcl │ ├── sample_win08_Pythagora.gcl │ └── welcome.gcl └── samples_prover │ ├── GoranPredovicCollection │ ├── thm_0010_Ceva.gcl │ ├── thm_0015_Thales.gcl │ ├── thm_0030_harmonic2.gcl │ ├── thm_0040_Desargues.gcl │ ├── thm_0050_Menelaus.gcl │ ├── thm_0060_MenelausGen.gcl │ ├── thm_0065_RightAngle.gcl │ ├── thm_0067_TriangleArea.gcl │ ├── thm_0070_Altitude.gcl │ ├── thm_0080_AltitudeDual.gcl │ ├── thm_0085_Incenter.gcl │ ├── thm_0090_Midpoint.gcl │ ├── thm_0100_Parallelogram.gcl │ ├── thm_0110_Parallelogram2.gcl │ ├── thm_0120_CircumscribedCircle.gcl │ ├── thm_0130_Pappus.gcl │ ├── thm_0132_Pappus2.gcl │ ├── thm_0140_PappusDual.gcl │ ├── thm_0150_PappusHexagon.gcl │ ├── thm_0170_ThreeSquares.gcl │ ├── thm_0180_GergonePoint.gcl │ ├── thm_0190_AdamsCircle.gcl │ ├── thm_0203_Example3.gcl │ ├── thm_0225_Example25.gcl │ ├── thm_0228_Example28.gcl │ ├── thm_0229_Example29.gcl │ ├── thm_0230_Example30.gcl │ ├── thm_0231_Example31.gcl │ ├── thm_0235_Example35.gcl │ ├── thm_0237_Example37.gcl │ ├── thm_0242_Example42.gcl │ ├── thm_0243_Example46.gcl │ ├── thm_0249_Example49.gcl │ ├── thm_0255_Example55.gcl │ ├── thm_0256_Example56.gcl │ ├── thm_0257_Example57.gcl │ ├── thm_0258_Example58.gcl │ ├── thm_0259_Example59.gcl │ ├── thm_0269_Example69.gcl │ ├── thm_0275_Example75.gcl │ ├── thm_0277_Example77.gcl │ ├── thm_0282_Example82.gcl │ ├── thm_0284_Example84.gcl │ ├── thm_0285_Example85.gcl │ ├── thm_0286_Example86.gcl │ ├── thm_0288_Example88.gcl │ ├── thm_0291_Example91.gcl │ ├── thm_0292_Example92.gcl │ ├── thm_0294_Example94.gcl │ ├── thm_0295_Example95.gcl │ ├── thm_0297_Example97.gcl │ ├── thm_0300_Example5_1.gcl │ ├── thm_0301_Example101.gcl │ ├── thm_0302_Example102.gcl │ ├── thm_0303_Example103.gcl │ ├── thm_0304_Example104.gcl │ ├── thm_0308_Example108.gcl │ ├── thm_0310_Example110.gcl │ ├── thm_0314_Example114.gcl │ ├── thm_0317_Example117.gcl │ ├── thm_0319_Example119.gcl │ ├── thm_0320_Example120.gcl │ ├── thm_0321_Example121.gcl │ ├── thm_0322_Example122.gcl │ ├── thm_0323_Example123.gcl │ ├── thm_0326_Example126.gcl │ ├── thm_0327_Example127.gcl │ ├── thm_0332_Example132.gcl │ ├── thm_0333_Example133.gcl │ ├── thm_0336_Example136.gcl │ ├── thm_0337_Example137.gcl │ ├── thm_0338_Example138.gcl │ ├── thm_0340_Example140.gcl │ ├── thm_0341_Example141.gcl │ ├── thm_0345_Example145.gcl │ ├── thm_0350_Example150.gcl │ ├── thm_0352_Example152.gcl │ ├── thm_0355_Example155.gcl │ ├── thm_0372_Example172.gcl │ ├── thm_0374_Example174.gcl │ ├── thm_0419_Example219.gcl │ ├── thm_0600_SineTheorem.gcl │ ├── thm_0610_CosineTheorem.gcl │ ├── thm_0620_EulersFormula.gcl │ ├── thm_0700_Brahmagupta.gcl │ ├── thm_0701_Viviani.gcl │ ├── thm_0702_SixPointsCircle.gcl │ ├── thm_0703_Harmonic.gcl │ ├── thm_0710_Butterfly.gcl │ ├── thm_0720_EightPointsCircleExists.gcl │ ├── thm_0730_EulerLine.gcl │ ├── thm_0740_Gauss.gcl │ ├── thm_0750_InscribedQuadrilateral.gcl │ ├── thm_0820_GeoThms20.gcl │ ├── thm_0822_GeoThms22.gcl │ ├── thm_0900_IsoscelesRightTriangle.gcl │ ├── thm_0910_IsoscelesTriangleConstruction.gcl │ ├── thm_0920_LeonAnne.gcl │ ├── thm_0930_NinePointsCircleExists.gcl │ ├── thm_0940_Nobbs.gcl │ ├── thm_0950_Pascal.gcl │ ├── thm_0960_Ptolemy.gcl │ ├── thm_0970_Simpson.gcl │ └── thm_0980_Varignon.gcl │ ├── other_samples │ ├── DeductionControl.gcl │ ├── thm_Pappus.gcl │ └── thm_PappusHexagon.gcl │ ├── thm_Ceva.gcl │ ├── thm_Gauss.gcl │ ├── thm_Menelaus.gcl │ ├── thm_Thales.gcl │ ├── thm_circle.pic │ ├── thm_harmonic.gcl │ ├── thm_midpoint.gcl │ ├── thm_orthocenter.gcl │ └── thm_simple_algebraic.gcl ├── source ├── AlgebraicMethods │ ├── Groebner.cpp │ ├── Groebner.h │ ├── ITimeOut.cpp │ ├── ITimeout.h │ ├── Log.cpp │ ├── Log.h │ ├── Object.cpp │ ├── Object.h │ ├── PolyReader.cpp │ ├── PolyReader.h │ ├── Polynomial.cpp │ ├── Polynomial.h │ ├── Power.cpp │ ├── Power.h │ ├── Prover.cpp │ ├── Prover.h │ ├── Reduce.cpp │ ├── Reduce.h │ ├── Term.cpp │ ├── Term.h │ ├── TermStorage.cpp │ ├── TermStorage.h │ ├── TermStorageAvl.cpp │ ├── TermStorageAvl.h │ ├── TermStorageVector.cpp │ ├── TermStorageVector.h │ ├── UPolynomial.cpp │ ├── UPolynomial.h │ ├── UPolynomialFraction.cpp │ ├── UPolynomialFraction.h │ ├── UTerm.cpp │ ├── UTerm.h │ ├── Wu.cpp │ ├── Wu.h │ ├── XPolynomial.h │ ├── XTerm.cpp │ ├── XTerm.h │ ├── stdinc.h │ └── xpolynomial.cpp ├── CMakeLists.txt ├── Export │ ├── EPSOutput.cpp │ ├── EPSOutput.h │ ├── GCLCOutput.cpp │ ├── GCLCOutput.h │ ├── LaTeXOutput.cpp │ ├── LaTeXOutput.h │ ├── PSTricksOutput.cpp │ ├── PSTricksOutput.h │ ├── QGraphicsViewOutput.cpp │ ├── QGraphicsViewOutput.h │ ├── SVGOutput.cpp │ ├── SVGOutput.h │ ├── TikZOutput.cpp │ └── TikZOutput.h ├── ExpressionParser │ ├── parser.cpp │ └── parser.h ├── GCLCEngine │ ├── Animations.cpp │ ├── BasicConstructions.cpp │ ├── BasicDefinitions.cpp │ ├── Calculations.cpp │ ├── Cartesian2DCommands.cpp │ ├── Cartesian3DCommands.cpp │ ├── DrawingCommands.cpp │ ├── GCLC.cpp │ ├── GCLC.h │ ├── LabelingCommands.cpp │ ├── Layers.cpp │ ├── LowLevelCommands.cpp │ ├── TheoremProving.cpp │ └── Transformations.cpp ├── GUI │ ├── ChildForm.cpp │ ├── ChildForm.h │ ├── ChildForm.ui │ ├── ChildWindow.cpp │ ├── ChildWindow.h │ ├── ExportToRasterFormat.cpp │ ├── ExportToRasterFormat.h │ ├── ExportToRasterFormat.ui │ ├── FindDialog.cpp │ ├── FindDialog.h │ ├── FindDialog.ui │ ├── FreePointItem.cpp │ ├── FreePointItem.h │ ├── Highlighter.cpp │ ├── Highlighter.h │ ├── MainWindow.cpp │ ├── MainWindow.h │ ├── MainWindow.ui │ ├── OutputHighlighter.cpp │ ├── OutputHighlighter.h │ ├── ReplaceDialog.cpp │ ├── ReplaceDialog.h │ ├── ReplaceDialog.ui │ ├── WatchWindow.cpp │ ├── WatchWindow.h │ └── WatchWindow.ui ├── GenericEngine │ ├── GCompiler.cpp │ ├── GCompiler.h │ ├── IntermediateRepresentation.cpp │ └── IntermediateRepresentation.h ├── GraphDrawing │ ├── arclayereddrawing.cpp │ ├── arclayereddrawing.h │ ├── barycenterdrawing.cpp │ ├── barycenterdrawing.h │ ├── drawing.cpp │ ├── drawing.h │ ├── graph.cpp │ ├── graph.h │ ├── graph_drawing.vcproj │ ├── graph_util.cpp │ ├── graph_util.h │ ├── graphnode.cpp │ ├── graphnode.h │ ├── settings.cpp │ └── settings.h ├── Import │ ├── JavaView.cpp │ ├── JavaView.h │ ├── ListOfFaces.cpp │ └── ListOfFaces.h ├── Input │ ├── EditorInput.cpp │ ├── EditorInput.h │ ├── FileInput.cpp │ ├── FileInput.h │ ├── GCLCInput.cpp │ ├── GCLCInput.h │ ├── StringInput.cpp │ └── StringInput.h ├── Logging │ ├── DummyLog.cpp │ ├── DummyLog.h │ ├── FileLog.cpp │ ├── FileLog.h │ ├── GCLCLog.cpp │ ├── GCLCLog.h │ ├── QOutputLog.cpp │ └── QOutputLog.h ├── TheoremProver │ ├── AlgMethod.cpp │ ├── AlgMethod.h │ ├── AlgMethodReducible.cpp │ ├── AreaMethod.cpp │ ├── AreaMethod.h │ ├── GroebnerMethod.cpp │ ├── GroebnerMethod.h │ ├── ProverExpression.cpp │ ├── ProverExpression.h │ ├── TheoremProver.cpp │ ├── TheoremProver.h │ ├── WuMethod.cpp │ └── WuMethod.h ├── Tools │ ├── jv2gcl │ │ ├── FileInput.cpp │ │ ├── FileInput.h │ │ ├── GCLCInput.cpp │ │ ├── GCLCInput.h │ │ ├── GCompiler.h │ │ ├── JavaView.cpp │ │ ├── JavaView.h │ │ ├── ListOfFaces.cpp │ │ ├── ListOfFaces.h │ │ ├── Release │ │ │ ├── ListOfFaces.obj │ │ │ ├── jv2gcl.exe │ │ │ ├── jv2gcl.pch │ │ │ └── vc60.idb │ │ ├── jv2gcl.cpp │ │ ├── jv2gcl.dsp │ │ ├── jv2gcl.dsw │ │ ├── jv2gcl.ncb │ │ ├── jv2gcl.opt │ │ ├── jv2gcl.plg │ │ ├── primitive │ │ │ ├── Cube.jvd │ │ │ ├── Cube.jvx │ │ │ ├── CubeColor.jvd │ │ │ ├── CubeColor.jvx │ │ │ ├── CubeColor_sgl.gif │ │ │ ├── Cube_sgl.gif │ │ │ ├── DodecahedronTransp.jvd │ │ │ ├── DodecahedronTransp.jvx │ │ │ ├── DodecahedronTransp_sgl.gif │ │ │ ├── PointSet2D.jvd │ │ │ ├── PointSet2D.jvx │ │ │ ├── PointSet2D_sgl.gif │ │ │ ├── PointSetColor.jvd │ │ │ ├── PointSetColor.jvx │ │ │ ├── PointSetColor_sgl.gif │ │ │ ├── PolygonSet2D.jvd │ │ │ ├── PolygonSet2D.jvx │ │ │ ├── PolygonSet2DLabels.jvd │ │ │ ├── PolygonSet2DLabels.jvx │ │ │ ├── PolygonSet2DLabels_sgl.gif │ │ │ ├── PolygonSet2D_sgl.gif │ │ │ ├── SquareUnit2D.jvd │ │ │ ├── SquareUnit2D.jvx │ │ │ ├── SquareUnit2D_sgl.gif │ │ │ ├── cube.pic │ │ │ ├── dod.pic │ │ │ ├── jv2gcl.exe │ │ │ ├── jvxSample.jvd │ │ │ ├── jvxSample.jvx │ │ │ └── jvxSample_sgl.gif │ │ └── samples │ │ │ ├── JavaViewSample.gcl │ │ │ ├── jv1.gcl │ │ │ ├── jv1.jvx │ │ │ ├── jv2.gcl │ │ │ ├── jv2.jvx │ │ │ ├── jv3.gcl │ │ │ ├── jv3.jvx │ │ │ ├── models │ │ │ └── models.ZIP │ │ │ ├── sample.jvx │ │ │ ├── sampleTorus.gcl │ │ │ ├── sampleTorus.jvx │ │ │ ├── test.gcl │ │ │ └── test.jvx │ └── view │ │ ├── view.c │ │ └── view.exe ├── Utils │ ├── Common.h │ ├── Timer.cpp │ ├── Timer.h │ ├── Utils.cpp │ ├── Utils.h │ └── Version.h ├── cGCLCmain.cpp ├── gGCLCmain.cpp ├── icons │ ├── WinGCLC.ico │ ├── WinGCLCDoc.ico │ ├── build.png │ ├── deduction_control.png │ ├── document-new.png │ ├── document-open.png │ ├── document-save.png │ ├── free-points.png │ ├── help.png │ ├── media-playback-pause.png │ ├── media-playback-start.png │ ├── media-playback-stop.png │ ├── prooof-latex.png │ ├── prooof-xml.png │ ├── proving-area.png │ ├── proving-groebner.png │ ├── proving-wu.png │ ├── proving.png │ ├── watch.png │ ├── zoom-in.png │ ├── zoom-normal.png │ └── zoom-out.png ├── manual │ └── gclc_man.pdf ├── resource.qrc └── wGCLCmain.cpp ├── windows_tools ├── jv2gcl │ ├── jv2gcl.exe │ └── samples │ │ ├── jv1.jvx │ │ ├── jv2.jvx │ │ └── jv3.jvx └── view │ └── view.exe └── working_example ├── gclc.sty ├── sample.pdf ├── sample.tex ├── sample0_triangle.gcl └── sample0_triangle.tkz /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /DOC/QuickRef.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/DOC/QuickRef.pdf -------------------------------------------------------------------------------- /DOC/techRepCISUC0601.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/DOC/techRepCISUC0601.pdf -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LICENSE.md -------------------------------------------------------------------------------- /LaTeX_packages/breqn.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LaTeX_packages/breqn.sty -------------------------------------------------------------------------------- /LaTeX_packages/cmbase.sym: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LaTeX_packages/cmbase.sym -------------------------------------------------------------------------------- /LaTeX_packages/color.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LaTeX_packages/color.sty -------------------------------------------------------------------------------- /LaTeX_packages/flexisym.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LaTeX_packages/flexisym.sty -------------------------------------------------------------------------------- /LaTeX_packages/gclc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LaTeX_packages/gclc.sty -------------------------------------------------------------------------------- /LaTeX_packages/gclc_proof.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LaTeX_packages/gclc_proof.sty -------------------------------------------------------------------------------- /LaTeX_packages/mathstyle.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/LaTeX_packages/mathstyle.sty -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/README.md -------------------------------------------------------------------------------- /XML_support/GeoCons.dtd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/XML_support/GeoCons.dtd -------------------------------------------------------------------------------- /XML_support/GeoConsGCLC.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/XML_support/GeoConsGCLC.xsl -------------------------------------------------------------------------------- /XML_support/GeoConsHTML.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/XML_support/GeoConsHTML.xsl -------------------------------------------------------------------------------- /XML_support/GeoConsNL.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/XML_support/GeoConsNL.xsl -------------------------------------------------------------------------------- /XML_support/GeoCons_proof.dtd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/XML_support/GeoCons_proof.dtd -------------------------------------------------------------------------------- /XML_support/GeoCons_proof.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/XML_support/GeoCons_proof.xsl -------------------------------------------------------------------------------- /clang_format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/clang_format -------------------------------------------------------------------------------- /executable/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gclcWeb/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/.gitignore -------------------------------------------------------------------------------- /gclcWeb/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/CMakeLists.txt -------------------------------------------------------------------------------- /gclcWeb/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/index.html -------------------------------------------------------------------------------- /gclcWeb/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/package-lock.json -------------------------------------------------------------------------------- /gclcWeb/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/package.json -------------------------------------------------------------------------------- /gclcWeb/public/examples/3d.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/examples/3d.gcl -------------------------------------------------------------------------------- /gclcWeb/public/examples/cycloid.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/examples/cycloid.gcl -------------------------------------------------------------------------------- /gclcWeb/public/examples/menelaus.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/examples/menelaus.gcl -------------------------------------------------------------------------------- /gclcWeb/public/examples/parametric.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/examples/parametric.gcl -------------------------------------------------------------------------------- /gclcWeb/public/examples/tree.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/examples/tree.gcl -------------------------------------------------------------------------------- /gclcWeb/public/examples/triangle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/examples/triangle.gcl -------------------------------------------------------------------------------- /gclcWeb/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/favicon.ico -------------------------------------------------------------------------------- /gclcWeb/public/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/public/style.css -------------------------------------------------------------------------------- /gclcWeb/src/build.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/build.ts -------------------------------------------------------------------------------- /gclcWeb/src/compiler.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/compiler.ts -------------------------------------------------------------------------------- /gclcWeb/src/editor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/editor.ts -------------------------------------------------------------------------------- /gclcWeb/src/file.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/file.ts -------------------------------------------------------------------------------- /gclcWeb/src/gclcLanguage/gclc.grammar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/gclcLanguage/gclc.grammar -------------------------------------------------------------------------------- /gclcWeb/src/gclcLanguage/gclcLang.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/gclcLanguage/gclcLang.ts -------------------------------------------------------------------------------- /gclcWeb/src/gclcLanguage/lang.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/gclcLanguage/lang.js -------------------------------------------------------------------------------- /gclcWeb/src/gclcLanguage/lang.terms.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/gclcLanguage/lang.terms.js -------------------------------------------------------------------------------- /gclcWeb/src/info.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/info.ts -------------------------------------------------------------------------------- /gclcWeb/src/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/main.ts -------------------------------------------------------------------------------- /gclcWeb/src/outputView.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/outputView.ts -------------------------------------------------------------------------------- /gclcWeb/src/pane/panes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/pane/panes.ts -------------------------------------------------------------------------------- /gclcWeb/src/pane/settings.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/pane/settings.ts -------------------------------------------------------------------------------- /gclcWeb/src/pane/terminal.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/pane/terminal.ts -------------------------------------------------------------------------------- /gclcWeb/src/pane/time.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/pane/time.ts -------------------------------------------------------------------------------- /gclcWeb/src/popup.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/popup.ts -------------------------------------------------------------------------------- /gclcWeb/src/proof.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/proof.ts -------------------------------------------------------------------------------- /gclcWeb/src/proof.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/proof.xsl -------------------------------------------------------------------------------- /gclcWeb/src/share.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/share.ts -------------------------------------------------------------------------------- /gclcWeb/src/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/src/types.ts -------------------------------------------------------------------------------- /gclcWeb/src/vite-env.d.ts: -------------------------------------------------------------------------------- 1 | /// 2 | -------------------------------------------------------------------------------- /gclcWeb/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/tsconfig.json -------------------------------------------------------------------------------- /gclcWeb/vite.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/gclcWeb/vite.config.js -------------------------------------------------------------------------------- /manual/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/.gitignore -------------------------------------------------------------------------------- /manual/fancyheadings.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/fancyheadings.sty -------------------------------------------------------------------------------- /manual/figures/CC-BY-ND.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/CC-BY-ND.png -------------------------------------------------------------------------------- /manual/figures/Figure7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/Figure7.png -------------------------------------------------------------------------------- /manual/figures/Figure8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/Figure8.png -------------------------------------------------------------------------------- /manual/figures/freePoints1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/freePoints1.png -------------------------------------------------------------------------------- /manual/figures/freePoints2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/freePoints2.png -------------------------------------------------------------------------------- /manual/figures/gclc-gui.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/gclc-gui.png -------------------------------------------------------------------------------- /manual/figures/midpoint.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/midpoint.gcl -------------------------------------------------------------------------------- /manual/figures/midpoint.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/midpoint.tkz -------------------------------------------------------------------------------- /manual/figures/quick.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/quick.gcl -------------------------------------------------------------------------------- /manual/figures/quick.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/quick.tkz -------------------------------------------------------------------------------- /manual/figures/sample-conics.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample-conics.gcl -------------------------------------------------------------------------------- /manual/figures/sample-conics.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample-conics.tkz -------------------------------------------------------------------------------- /manual/figures/sample-curves.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample-curves.gcl -------------------------------------------------------------------------------- /manual/figures/sample-curves.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample-curves.tkz -------------------------------------------------------------------------------- /manual/figures/sample-while.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample-while.gcl -------------------------------------------------------------------------------- /manual/figures/sample-while.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample-while.tkz -------------------------------------------------------------------------------- /manual/figures/sample0-triangle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample0-triangle.gcl -------------------------------------------------------------------------------- /manual/figures/sample0-triangle.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample0-triangle.tkz -------------------------------------------------------------------------------- /manual/figures/sample_ceva.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample_ceva.gcl -------------------------------------------------------------------------------- /manual/figures/sample_ceva.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/figures/sample_ceva.tkz -------------------------------------------------------------------------------- /manual/fullpage.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/fullpage.sty -------------------------------------------------------------------------------- /manual/gclc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/gclc.sty -------------------------------------------------------------------------------- /manual/gclc_man.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/gclc_man.pdf -------------------------------------------------------------------------------- /manual/gclc_man.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/gclc_man.tex -------------------------------------------------------------------------------- /manual/gclcproof.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/manual/gclcproof.sty -------------------------------------------------------------------------------- /regression_testing/compare_outputs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/regression_testing/compare_outputs.sh -------------------------------------------------------------------------------- /regression_testing/compare_proofs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/regression_testing/compare_proofs.sh -------------------------------------------------------------------------------- /samples/basic_samples/sample01_triangle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample01_triangle.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample02_triangle_Euler.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample02_triangle_Euler.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample03_polygons.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample03_polygons.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample04_triangle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample04_triangle.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample05_inversion.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample05_inversion.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample06_hyp.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample06_hyp.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample07_hyp.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample07_hyp.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample08_conics.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample08_conics.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample09_while.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample09_while.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample10_while_nested.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample10_while_nested.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample11_function.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample11_function.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample12_scales.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample12_scales.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample13_while.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample13_while.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample14_integral.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample14_integral.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample15_colors.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample15_colors.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample16_3d.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample16_3d.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample17_ang3d.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample17_ang3d.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample18_plot.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample18_plot.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample19_procedure.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample19_procedure.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample20_print.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample20_print.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample21_hyp.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample21_hyp.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample22_tree.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample22_tree.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample23_arrays_bubble-sort.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample23_arrays_bubble-sort.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample24_fill.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample24_fill.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample25_bezier.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample25_bezier.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample26_include_hyp.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample26_include_hyp.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample27_tree_nodes.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample27_tree_nodes.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample28_Koch_AniaPiktas.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample28_Koch_AniaPiktas.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample29_GoldenCut_ThomasSpeziale.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample29_GoldenCut_ThomasSpeziale.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample30_layers.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample30_layers.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample31_3Dcircles_arcs_PierreLarochelle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample31_3Dcircles_arcs_PierreLarochelle.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample32_spherical_quad_PierreLarochelle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample32_spherical_quad_PierreLarochelle.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample33_spherical_triangle_PierreLarochelle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample33_spherical_triangle_PierreLarochelle.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample34_filled_circles.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample34_filled_circles.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample35_graphs.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample35_graphs.gcl -------------------------------------------------------------------------------- /samples/basic_samples/sample36_3d_surface.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/basic_samples/sample36_3d_surface.gcl -------------------------------------------------------------------------------- /samples/samples_gui/about_gclc.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/about_gclc.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win01_time.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win01_time.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win02_cycloid.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win02_cycloid.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win03_derivation.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win03_derivation.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win04_curves.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win04_curves.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win05_lucic.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win05_lucic.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win06_lucic.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win06_lucic.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win07_3d.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win07_3d.gcl -------------------------------------------------------------------------------- /samples/samples_gui/sample_win08_Pythagora.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/sample_win08_Pythagora.gcl -------------------------------------------------------------------------------- /samples/samples_gui/welcome.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_gui/welcome.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0010_Ceva.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0010_Ceva.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0015_Thales.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0015_Thales.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0030_harmonic2.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0030_harmonic2.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0040_Desargues.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0040_Desargues.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0050_Menelaus.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0050_Menelaus.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0060_MenelausGen.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0060_MenelausGen.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0065_RightAngle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0065_RightAngle.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0067_TriangleArea.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0067_TriangleArea.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0070_Altitude.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0070_Altitude.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0080_AltitudeDual.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0080_AltitudeDual.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0085_Incenter.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0085_Incenter.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0090_Midpoint.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0090_Midpoint.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0100_Parallelogram.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0100_Parallelogram.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0110_Parallelogram2.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0110_Parallelogram2.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0120_CircumscribedCircle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0120_CircumscribedCircle.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0130_Pappus.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0130_Pappus.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0132_Pappus2.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0132_Pappus2.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0140_PappusDual.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0140_PappusDual.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0150_PappusHexagon.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0150_PappusHexagon.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0170_ThreeSquares.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0170_ThreeSquares.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0180_GergonePoint.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0180_GergonePoint.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0190_AdamsCircle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0190_AdamsCircle.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0203_Example3.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0203_Example3.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0225_Example25.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0225_Example25.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0228_Example28.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0228_Example28.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0229_Example29.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0229_Example29.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0230_Example30.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0230_Example30.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0231_Example31.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0231_Example31.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0235_Example35.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0235_Example35.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0237_Example37.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0237_Example37.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0242_Example42.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0242_Example42.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0243_Example46.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0243_Example46.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0249_Example49.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0249_Example49.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0255_Example55.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0255_Example55.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0256_Example56.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0256_Example56.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0257_Example57.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0257_Example57.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0258_Example58.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0258_Example58.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0259_Example59.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0259_Example59.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0269_Example69.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0269_Example69.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0275_Example75.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0275_Example75.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0277_Example77.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0277_Example77.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0282_Example82.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0282_Example82.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0284_Example84.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0284_Example84.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0285_Example85.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0285_Example85.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0286_Example86.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0286_Example86.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0288_Example88.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0288_Example88.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0291_Example91.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0291_Example91.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0292_Example92.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0292_Example92.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0294_Example94.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0294_Example94.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0295_Example95.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0295_Example95.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0297_Example97.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0297_Example97.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0300_Example5_1.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0300_Example5_1.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0301_Example101.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0301_Example101.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0302_Example102.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0302_Example102.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0303_Example103.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0303_Example103.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0304_Example104.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0304_Example104.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0308_Example108.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0308_Example108.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0310_Example110.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0310_Example110.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0314_Example114.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0314_Example114.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0317_Example117.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0317_Example117.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0319_Example119.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0319_Example119.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0320_Example120.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0320_Example120.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0321_Example121.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0321_Example121.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0322_Example122.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0322_Example122.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0323_Example123.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0323_Example123.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0326_Example126.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0326_Example126.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0327_Example127.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0327_Example127.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0332_Example132.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0332_Example132.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0333_Example133.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0333_Example133.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0336_Example136.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0336_Example136.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0337_Example137.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0337_Example137.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0338_Example138.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0338_Example138.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0340_Example140.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0340_Example140.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0341_Example141.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0341_Example141.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0345_Example145.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0345_Example145.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0350_Example150.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0350_Example150.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0352_Example152.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0352_Example152.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0355_Example155.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0355_Example155.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0372_Example172.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0372_Example172.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0374_Example174.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0374_Example174.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0419_Example219.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0419_Example219.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0600_SineTheorem.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0600_SineTheorem.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0610_CosineTheorem.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0610_CosineTheorem.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0620_EulersFormula.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0620_EulersFormula.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0700_Brahmagupta.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0700_Brahmagupta.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0701_Viviani.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0701_Viviani.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0702_SixPointsCircle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0702_SixPointsCircle.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0703_Harmonic.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0703_Harmonic.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0710_Butterfly.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0710_Butterfly.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0720_EightPointsCircleExists.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0720_EightPointsCircleExists.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0730_EulerLine.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0730_EulerLine.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0740_Gauss.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0740_Gauss.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0750_InscribedQuadrilateral.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0750_InscribedQuadrilateral.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0820_GeoThms20.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0820_GeoThms20.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0822_GeoThms22.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0822_GeoThms22.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0900_IsoscelesRightTriangle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0900_IsoscelesRightTriangle.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0910_IsoscelesTriangleConstruction.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0910_IsoscelesTriangleConstruction.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0920_LeonAnne.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0920_LeonAnne.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0930_NinePointsCircleExists.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0930_NinePointsCircleExists.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0940_Nobbs.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0940_Nobbs.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0950_Pascal.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0950_Pascal.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0960_Ptolemy.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0960_Ptolemy.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0970_Simpson.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0970_Simpson.gcl -------------------------------------------------------------------------------- /samples/samples_prover/GoranPredovicCollection/thm_0980_Varignon.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/GoranPredovicCollection/thm_0980_Varignon.gcl -------------------------------------------------------------------------------- /samples/samples_prover/other_samples/DeductionControl.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/other_samples/DeductionControl.gcl -------------------------------------------------------------------------------- /samples/samples_prover/other_samples/thm_Pappus.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/other_samples/thm_Pappus.gcl -------------------------------------------------------------------------------- /samples/samples_prover/other_samples/thm_PappusHexagon.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/other_samples/thm_PappusHexagon.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_Ceva.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_Ceva.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_Gauss.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_Gauss.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_Menelaus.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_Menelaus.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_Thales.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_Thales.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_circle.pic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_circle.pic -------------------------------------------------------------------------------- /samples/samples_prover/thm_harmonic.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_harmonic.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_midpoint.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_midpoint.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_orthocenter.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_orthocenter.gcl -------------------------------------------------------------------------------- /samples/samples_prover/thm_simple_algebraic.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/samples/samples_prover/thm_simple_algebraic.gcl -------------------------------------------------------------------------------- /source/AlgebraicMethods/Groebner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Groebner.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Groebner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Groebner.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/ITimeOut.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/ITimeOut.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/ITimeout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/ITimeout.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Log.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Log.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Log.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Object.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Object.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Object.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Object.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/PolyReader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/PolyReader.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/PolyReader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/PolyReader.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Polynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Polynomial.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Polynomial.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Power.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Power.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Power.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Power.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Prover.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Prover.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Prover.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Prover.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Reduce.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Reduce.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Reduce.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Term.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Term.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Term.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Term.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/TermStorage.cpp: -------------------------------------------------------------------------------- 1 | #include "TermStorage.h" 2 | -------------------------------------------------------------------------------- /source/AlgebraicMethods/TermStorage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/TermStorage.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/TermStorageAvl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/TermStorageAvl.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/TermStorageAvl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/TermStorageAvl.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/TermStorageVector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/TermStorageVector.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/TermStorageVector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/TermStorageVector.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/UPolynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/UPolynomial.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/UPolynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/UPolynomial.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/UPolynomialFraction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/UPolynomialFraction.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/UPolynomialFraction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/UPolynomialFraction.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/UTerm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/UTerm.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/UTerm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/UTerm.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/Wu.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Wu.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/Wu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/Wu.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/XPolynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/XPolynomial.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/XTerm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/XTerm.cpp -------------------------------------------------------------------------------- /source/AlgebraicMethods/XTerm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/XTerm.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/stdinc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/stdinc.h -------------------------------------------------------------------------------- /source/AlgebraicMethods/xpolynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/AlgebraicMethods/xpolynomial.cpp -------------------------------------------------------------------------------- /source/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/CMakeLists.txt -------------------------------------------------------------------------------- /source/Export/EPSOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/EPSOutput.cpp -------------------------------------------------------------------------------- /source/Export/EPSOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/EPSOutput.h -------------------------------------------------------------------------------- /source/Export/GCLCOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/GCLCOutput.cpp -------------------------------------------------------------------------------- /source/Export/GCLCOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/GCLCOutput.h -------------------------------------------------------------------------------- /source/Export/LaTeXOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/LaTeXOutput.cpp -------------------------------------------------------------------------------- /source/Export/LaTeXOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/LaTeXOutput.h -------------------------------------------------------------------------------- /source/Export/PSTricksOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/PSTricksOutput.cpp -------------------------------------------------------------------------------- /source/Export/PSTricksOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/PSTricksOutput.h -------------------------------------------------------------------------------- /source/Export/QGraphicsViewOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/QGraphicsViewOutput.cpp -------------------------------------------------------------------------------- /source/Export/QGraphicsViewOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/QGraphicsViewOutput.h -------------------------------------------------------------------------------- /source/Export/SVGOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/SVGOutput.cpp -------------------------------------------------------------------------------- /source/Export/SVGOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/SVGOutput.h -------------------------------------------------------------------------------- /source/Export/TikZOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/TikZOutput.cpp -------------------------------------------------------------------------------- /source/Export/TikZOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Export/TikZOutput.h -------------------------------------------------------------------------------- /source/ExpressionParser/parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/ExpressionParser/parser.cpp -------------------------------------------------------------------------------- /source/ExpressionParser/parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/ExpressionParser/parser.h -------------------------------------------------------------------------------- /source/GCLCEngine/Animations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/Animations.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/BasicConstructions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/BasicConstructions.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/BasicDefinitions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/BasicDefinitions.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/Calculations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/Calculations.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/Cartesian2DCommands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/Cartesian2DCommands.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/Cartesian3DCommands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/Cartesian3DCommands.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/DrawingCommands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/DrawingCommands.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/GCLC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/GCLC.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/GCLC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/GCLC.h -------------------------------------------------------------------------------- /source/GCLCEngine/LabelingCommands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/LabelingCommands.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/Layers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/Layers.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/LowLevelCommands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/LowLevelCommands.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/TheoremProving.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/TheoremProving.cpp -------------------------------------------------------------------------------- /source/GCLCEngine/Transformations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GCLCEngine/Transformations.cpp -------------------------------------------------------------------------------- /source/GUI/ChildForm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ChildForm.cpp -------------------------------------------------------------------------------- /source/GUI/ChildForm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ChildForm.h -------------------------------------------------------------------------------- /source/GUI/ChildForm.ui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ChildForm.ui -------------------------------------------------------------------------------- /source/GUI/ChildWindow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ChildWindow.cpp -------------------------------------------------------------------------------- /source/GUI/ChildWindow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ChildWindow.h -------------------------------------------------------------------------------- /source/GUI/ExportToRasterFormat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ExportToRasterFormat.cpp -------------------------------------------------------------------------------- /source/GUI/ExportToRasterFormat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ExportToRasterFormat.h -------------------------------------------------------------------------------- /source/GUI/ExportToRasterFormat.ui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ExportToRasterFormat.ui -------------------------------------------------------------------------------- /source/GUI/FindDialog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/FindDialog.cpp -------------------------------------------------------------------------------- /source/GUI/FindDialog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/FindDialog.h -------------------------------------------------------------------------------- /source/GUI/FindDialog.ui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/FindDialog.ui -------------------------------------------------------------------------------- /source/GUI/FreePointItem.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/FreePointItem.cpp -------------------------------------------------------------------------------- /source/GUI/FreePointItem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/FreePointItem.h -------------------------------------------------------------------------------- /source/GUI/Highlighter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/Highlighter.cpp -------------------------------------------------------------------------------- /source/GUI/Highlighter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/Highlighter.h -------------------------------------------------------------------------------- /source/GUI/MainWindow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/MainWindow.cpp -------------------------------------------------------------------------------- /source/GUI/MainWindow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/MainWindow.h -------------------------------------------------------------------------------- /source/GUI/MainWindow.ui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/MainWindow.ui -------------------------------------------------------------------------------- /source/GUI/OutputHighlighter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/OutputHighlighter.cpp -------------------------------------------------------------------------------- /source/GUI/OutputHighlighter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/OutputHighlighter.h -------------------------------------------------------------------------------- /source/GUI/ReplaceDialog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ReplaceDialog.cpp -------------------------------------------------------------------------------- /source/GUI/ReplaceDialog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ReplaceDialog.h -------------------------------------------------------------------------------- /source/GUI/ReplaceDialog.ui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/ReplaceDialog.ui -------------------------------------------------------------------------------- /source/GUI/WatchWindow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/WatchWindow.cpp -------------------------------------------------------------------------------- /source/GUI/WatchWindow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/WatchWindow.h -------------------------------------------------------------------------------- /source/GUI/WatchWindow.ui: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GUI/WatchWindow.ui -------------------------------------------------------------------------------- /source/GenericEngine/GCompiler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GenericEngine/GCompiler.cpp -------------------------------------------------------------------------------- /source/GenericEngine/GCompiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GenericEngine/GCompiler.h -------------------------------------------------------------------------------- /source/GenericEngine/IntermediateRepresentation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GenericEngine/IntermediateRepresentation.cpp -------------------------------------------------------------------------------- /source/GenericEngine/IntermediateRepresentation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GenericEngine/IntermediateRepresentation.h -------------------------------------------------------------------------------- /source/GraphDrawing/arclayereddrawing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/arclayereddrawing.cpp -------------------------------------------------------------------------------- /source/GraphDrawing/arclayereddrawing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/arclayereddrawing.h -------------------------------------------------------------------------------- /source/GraphDrawing/barycenterdrawing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/barycenterdrawing.cpp -------------------------------------------------------------------------------- /source/GraphDrawing/barycenterdrawing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/barycenterdrawing.h -------------------------------------------------------------------------------- /source/GraphDrawing/drawing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/drawing.cpp -------------------------------------------------------------------------------- /source/GraphDrawing/drawing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/drawing.h -------------------------------------------------------------------------------- /source/GraphDrawing/graph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/graph.cpp -------------------------------------------------------------------------------- /source/GraphDrawing/graph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/graph.h -------------------------------------------------------------------------------- /source/GraphDrawing/graph_drawing.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/graph_drawing.vcproj -------------------------------------------------------------------------------- /source/GraphDrawing/graph_util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/graph_util.cpp -------------------------------------------------------------------------------- /source/GraphDrawing/graph_util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/graph_util.h -------------------------------------------------------------------------------- /source/GraphDrawing/graphnode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/graphnode.cpp -------------------------------------------------------------------------------- /source/GraphDrawing/graphnode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/graphnode.h -------------------------------------------------------------------------------- /source/GraphDrawing/settings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/settings.cpp -------------------------------------------------------------------------------- /source/GraphDrawing/settings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/GraphDrawing/settings.h -------------------------------------------------------------------------------- /source/Import/JavaView.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Import/JavaView.cpp -------------------------------------------------------------------------------- /source/Import/JavaView.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Import/JavaView.h -------------------------------------------------------------------------------- /source/Import/ListOfFaces.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Import/ListOfFaces.cpp -------------------------------------------------------------------------------- /source/Import/ListOfFaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Import/ListOfFaces.h -------------------------------------------------------------------------------- /source/Input/EditorInput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/EditorInput.cpp -------------------------------------------------------------------------------- /source/Input/EditorInput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/EditorInput.h -------------------------------------------------------------------------------- /source/Input/FileInput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/FileInput.cpp -------------------------------------------------------------------------------- /source/Input/FileInput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/FileInput.h -------------------------------------------------------------------------------- /source/Input/GCLCInput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/GCLCInput.cpp -------------------------------------------------------------------------------- /source/Input/GCLCInput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/GCLCInput.h -------------------------------------------------------------------------------- /source/Input/StringInput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/StringInput.cpp -------------------------------------------------------------------------------- /source/Input/StringInput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Input/StringInput.h -------------------------------------------------------------------------------- /source/Logging/DummyLog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/DummyLog.cpp -------------------------------------------------------------------------------- /source/Logging/DummyLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/DummyLog.h -------------------------------------------------------------------------------- /source/Logging/FileLog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/FileLog.cpp -------------------------------------------------------------------------------- /source/Logging/FileLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/FileLog.h -------------------------------------------------------------------------------- /source/Logging/GCLCLog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/GCLCLog.cpp -------------------------------------------------------------------------------- /source/Logging/GCLCLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/GCLCLog.h -------------------------------------------------------------------------------- /source/Logging/QOutputLog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/QOutputLog.cpp -------------------------------------------------------------------------------- /source/Logging/QOutputLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Logging/QOutputLog.h -------------------------------------------------------------------------------- /source/TheoremProver/AlgMethod.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/AlgMethod.cpp -------------------------------------------------------------------------------- /source/TheoremProver/AlgMethod.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/AlgMethod.h -------------------------------------------------------------------------------- /source/TheoremProver/AlgMethodReducible.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/AlgMethodReducible.cpp -------------------------------------------------------------------------------- /source/TheoremProver/AreaMethod.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/AreaMethod.cpp -------------------------------------------------------------------------------- /source/TheoremProver/AreaMethod.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/AreaMethod.h -------------------------------------------------------------------------------- /source/TheoremProver/GroebnerMethod.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/GroebnerMethod.cpp -------------------------------------------------------------------------------- /source/TheoremProver/GroebnerMethod.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/GroebnerMethod.h -------------------------------------------------------------------------------- /source/TheoremProver/ProverExpression.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/ProverExpression.cpp -------------------------------------------------------------------------------- /source/TheoremProver/ProverExpression.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/ProverExpression.h -------------------------------------------------------------------------------- /source/TheoremProver/TheoremProver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/TheoremProver.cpp -------------------------------------------------------------------------------- /source/TheoremProver/TheoremProver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/TheoremProver.h -------------------------------------------------------------------------------- /source/TheoremProver/WuMethod.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/WuMethod.cpp -------------------------------------------------------------------------------- /source/TheoremProver/WuMethod.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/TheoremProver/WuMethod.h -------------------------------------------------------------------------------- /source/Tools/jv2gcl/FileInput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/FileInput.cpp -------------------------------------------------------------------------------- /source/Tools/jv2gcl/FileInput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/FileInput.h -------------------------------------------------------------------------------- /source/Tools/jv2gcl/GCLCInput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/GCLCInput.cpp -------------------------------------------------------------------------------- /source/Tools/jv2gcl/GCLCInput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/GCLCInput.h -------------------------------------------------------------------------------- /source/Tools/jv2gcl/GCompiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/GCompiler.h -------------------------------------------------------------------------------- /source/Tools/jv2gcl/JavaView.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/JavaView.cpp -------------------------------------------------------------------------------- /source/Tools/jv2gcl/JavaView.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/JavaView.h -------------------------------------------------------------------------------- /source/Tools/jv2gcl/ListOfFaces.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/ListOfFaces.cpp -------------------------------------------------------------------------------- /source/Tools/jv2gcl/ListOfFaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/ListOfFaces.h -------------------------------------------------------------------------------- /source/Tools/jv2gcl/Release/ListOfFaces.obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/Release/ListOfFaces.obj -------------------------------------------------------------------------------- /source/Tools/jv2gcl/Release/jv2gcl.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/Release/jv2gcl.exe -------------------------------------------------------------------------------- /source/Tools/jv2gcl/Release/jv2gcl.pch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/Release/jv2gcl.pch -------------------------------------------------------------------------------- /source/Tools/jv2gcl/Release/vc60.idb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/Release/vc60.idb -------------------------------------------------------------------------------- /source/Tools/jv2gcl/jv2gcl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/jv2gcl.cpp -------------------------------------------------------------------------------- /source/Tools/jv2gcl/jv2gcl.dsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/jv2gcl.dsp -------------------------------------------------------------------------------- /source/Tools/jv2gcl/jv2gcl.dsw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/jv2gcl.dsw -------------------------------------------------------------------------------- /source/Tools/jv2gcl/jv2gcl.ncb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/jv2gcl.ncb -------------------------------------------------------------------------------- /source/Tools/jv2gcl/jv2gcl.opt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/jv2gcl.opt -------------------------------------------------------------------------------- /source/Tools/jv2gcl/jv2gcl.plg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/jv2gcl.plg -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/Cube.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/Cube.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/Cube.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/Cube.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/CubeColor.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/CubeColor.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/CubeColor.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/CubeColor.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/CubeColor_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/CubeColor_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/Cube_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/Cube_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/DodecahedronTransp.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/DodecahedronTransp.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/DodecahedronTransp.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/DodecahedronTransp.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/DodecahedronTransp_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/DodecahedronTransp_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PointSet2D.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PointSet2D.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PointSet2D.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PointSet2D.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PointSet2D_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PointSet2D_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PointSetColor.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PointSetColor.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PointSetColor.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PointSetColor.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PointSetColor_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PointSetColor_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PolygonSet2D.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PolygonSet2D.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PolygonSet2D.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PolygonSet2D.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PolygonSet2DLabels.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PolygonSet2DLabels.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PolygonSet2DLabels.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PolygonSet2DLabels.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PolygonSet2DLabels_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PolygonSet2DLabels_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/PolygonSet2D_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/PolygonSet2D_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/SquareUnit2D.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/SquareUnit2D.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/SquareUnit2D.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/SquareUnit2D.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/SquareUnit2D_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/SquareUnit2D_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/cube.pic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/cube.pic -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/dod.pic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/dod.pic -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/jv2gcl.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/jv2gcl.exe -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/jvxSample.jvd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/jvxSample.jvd -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/jvxSample.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/jvxSample.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/primitive/jvxSample_sgl.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/primitive/jvxSample_sgl.gif -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/JavaViewSample.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/JavaViewSample.gcl -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/jv1.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/jv1.gcl -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/jv1.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/jv1.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/jv2.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/jv2.gcl -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/jv2.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/jv2.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/jv3.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/jv3.gcl -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/jv3.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/jv3.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/models/models.ZIP: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/models/models.ZIP -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/sample.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/sample.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/sampleTorus.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/sampleTorus.gcl -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/sampleTorus.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/sampleTorus.jvx -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/test.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/test.gcl -------------------------------------------------------------------------------- /source/Tools/jv2gcl/samples/test.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/jv2gcl/samples/test.jvx -------------------------------------------------------------------------------- /source/Tools/view/view.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/view/view.c -------------------------------------------------------------------------------- /source/Tools/view/view.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Tools/view/view.exe -------------------------------------------------------------------------------- /source/Utils/Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Utils/Common.h -------------------------------------------------------------------------------- /source/Utils/Timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Utils/Timer.cpp -------------------------------------------------------------------------------- /source/Utils/Timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Utils/Timer.h -------------------------------------------------------------------------------- /source/Utils/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Utils/Utils.cpp -------------------------------------------------------------------------------- /source/Utils/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/Utils/Utils.h -------------------------------------------------------------------------------- /source/Utils/Version.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | #define GCLC_VERSION "" 3 | -------------------------------------------------------------------------------- /source/cGCLCmain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/cGCLCmain.cpp -------------------------------------------------------------------------------- /source/gGCLCmain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/gGCLCmain.cpp -------------------------------------------------------------------------------- /source/icons/WinGCLC.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/WinGCLC.ico -------------------------------------------------------------------------------- /source/icons/WinGCLCDoc.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/WinGCLCDoc.ico -------------------------------------------------------------------------------- /source/icons/build.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/build.png -------------------------------------------------------------------------------- /source/icons/deduction_control.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/deduction_control.png -------------------------------------------------------------------------------- /source/icons/document-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/document-new.png -------------------------------------------------------------------------------- /source/icons/document-open.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/document-open.png -------------------------------------------------------------------------------- /source/icons/document-save.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/document-save.png -------------------------------------------------------------------------------- /source/icons/free-points.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/free-points.png -------------------------------------------------------------------------------- /source/icons/help.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/help.png -------------------------------------------------------------------------------- /source/icons/media-playback-pause.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/media-playback-pause.png -------------------------------------------------------------------------------- /source/icons/media-playback-start.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/media-playback-start.png -------------------------------------------------------------------------------- /source/icons/media-playback-stop.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/media-playback-stop.png -------------------------------------------------------------------------------- /source/icons/prooof-latex.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/prooof-latex.png -------------------------------------------------------------------------------- /source/icons/prooof-xml.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/prooof-xml.png -------------------------------------------------------------------------------- /source/icons/proving-area.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/proving-area.png -------------------------------------------------------------------------------- /source/icons/proving-groebner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/proving-groebner.png -------------------------------------------------------------------------------- /source/icons/proving-wu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/proving-wu.png -------------------------------------------------------------------------------- /source/icons/proving.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/proving.png -------------------------------------------------------------------------------- /source/icons/watch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/watch.png -------------------------------------------------------------------------------- /source/icons/zoom-in.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/zoom-in.png -------------------------------------------------------------------------------- /source/icons/zoom-normal.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/zoom-normal.png -------------------------------------------------------------------------------- /source/icons/zoom-out.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/icons/zoom-out.png -------------------------------------------------------------------------------- /source/manual/gclc_man.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/manual/gclc_man.pdf -------------------------------------------------------------------------------- /source/resource.qrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/resource.qrc -------------------------------------------------------------------------------- /source/wGCLCmain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/source/wGCLCmain.cpp -------------------------------------------------------------------------------- /windows_tools/jv2gcl/jv2gcl.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/windows_tools/jv2gcl/jv2gcl.exe -------------------------------------------------------------------------------- /windows_tools/jv2gcl/samples/jv1.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/windows_tools/jv2gcl/samples/jv1.jvx -------------------------------------------------------------------------------- /windows_tools/jv2gcl/samples/jv2.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/windows_tools/jv2gcl/samples/jv2.jvx -------------------------------------------------------------------------------- /windows_tools/jv2gcl/samples/jv3.jvx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/windows_tools/jv2gcl/samples/jv3.jvx -------------------------------------------------------------------------------- /windows_tools/view/view.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/windows_tools/view/view.exe -------------------------------------------------------------------------------- /working_example/gclc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/working_example/gclc.sty -------------------------------------------------------------------------------- /working_example/sample.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/working_example/sample.pdf -------------------------------------------------------------------------------- /working_example/sample.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/working_example/sample.tex -------------------------------------------------------------------------------- /working_example/sample0_triangle.gcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/working_example/sample0_triangle.gcl -------------------------------------------------------------------------------- /working_example/sample0_triangle.tkz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janicicpredrag/gclc/HEAD/working_example/sample0_triangle.tkz --------------------------------------------------------------------------------