- Nov 13, 2023
-
-
Max Ole Elliger authored
-
- Nov 06, 2023
-
-
Max Ole Elliger authored
Improved Makefile structure See merge request oc59yqul/template_coq!3
-
Max Ole Elliger authored
-
Max Ole Elliger authored
Merge branch 'more_folder_extension' of gitlab.cs.fau.de:oc59yqul/template_coq into more_folder_extension
-
Max Ole Elliger authored
Co-authored-by: Philip Kaludercic <philip.kaludercic@fau.de>
-
Philip Kaluđerčić authored
-
- Nov 04, 2023
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
- Nov 03, 2023
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
Now there can be more than one folder, mapped to a Libname. Co-authored-by: Philip Kaludercic <philip.kaludercic@fau.de>
-
- Sep 13, 2023
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
- Jul 17, 2023
-
-
Max Ole Elliger authored
-
- Jul 13, 2023
-
-
Max Ole Elliger authored
This reverts commit 9b2fa95a.
-
Max Ole Elliger authored
-
Max Ole Elliger authored
Set 8.16.1 as coq-version
-
- Jul 09, 2023
-
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-
Max Ole Elliger authored
-