summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/files
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-124-0/+75
* Adding metadataroot2026-06-124-75/+0
* Adding metadataroot2026-06-044-0/+75
* Adding metadataroot2026-06-044-75/+0
* Revert "Adding metadata"root2026-06-044-0/+75
* Adding metadataroot2026-06-044-75/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-121-0/+40
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-141-11/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-041-0/+19
* Updating liguros repoPalica2020-06-233-0/+27