summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
Commit message (Collapse)AuthorAgeFilesLines
* Adding metadataroot12 hours1-9/+9
|
* Adding metadataroot16 hours1-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-122-1/+43
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-141-11/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-113-119/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-311-4/+4
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-161-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-142-0/+58
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-021-1/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-111-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-043-0/+78
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-5/+7
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-7/+5
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-071-0/+1
|
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-071-1/+1
|
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-4/+5
|
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
|
* Updating liguros repoPalica2020-06-236-0/+97