summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2 days1-5/+7
* Adding metadataroot2 days1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-04-241-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-101-4/+10
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-151-4/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-201-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-292-10/+21
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-276-16/+131
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-7/+9
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-9/+7
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-04-181-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-03-011-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-281-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-101-1/+1
* 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-6/+7
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-201-113/+0
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-07-012-2/+2
* Updating liguros repoPalica2020-06-2312-0/+769