added javadoc for packages

Author: Traumlos

src/main/java/UI/package-info.java

@@ -0,0 +1,5 @@
+/**
+ * This package handles the presentation layer of the application by managing UI components
+ * and event handling. It includes classes for creating and managing the graphical user interface.
+ */
+package UI;

src/main/java/gprover/package-info.java

@@ -0,0 +1,6 @@
+/**
+ * The gprover package contains the core classes and interfaces related to the
+ * gprover project. This package serves as the central point
+ * for the implementation of the proof algorithms and related utilities.
+ */
+package gprover;

src/main/java/maths/package-info.java

@@ -0,0 +1,5 @@
+/**
+ * This package provides functionalities for mathematical operations.
+ * It serves as a foundation for further mathematical computations in the project.
+ */
+package maths;

src/main/java/pdf/package-info.java

@@ -0,0 +1,5 @@
+/**
+ * This package serves as the foundation for managing, processing, and generating PDF documents
+ * within the project.
+ */
+package pdf;

src/main/java/wprover/package-info.java

@@ -0,0 +1,10 @@
+/**
+ * The wprover package provides core functionalities for geometric proving and constraint-based computations.
+ * This package is designed with a clear separation of concerns. It encapsulates the core proving logic,
+ * geometric drawing operations, and constraint verifications while isolating these functionalities from the
+ * main user interface management. Classes such as DrawBase demonstrate this design by offering methods for
+ * drawing geometric elements and handling interactions.
+ * Note: Although the focus of this package is on the prover functionalities, some classes may include minimal
+ * UI components solely to support interactive functionalities within the proving process.
+ */
+package wprover;