- 07 Feb, 2023 1 commit
-
-
Michael Hanus authored
-
- 06 Feb, 2023 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 30 Jan, 2023 1 commit
-
-
Michael Hanus authored
Add .vscode and .DS_Store to gitignore See merge request !33
-
- 07 Jan, 2023 1 commit
-
-
Michael Hanus authored
-
- 06 Jan, 2023 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 20 Dec, 2022 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 16 Dec, 2022 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
Update frontend to most recent master (using GHC 9.2) See merge request !32
-
- 15 Dec, 2022 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 06 Dec, 2022 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 19 Oct, 2022 4 commits
-
-
Michael Hanus authored
Read home directory from USERPROFILE on Windows See merge request !31
-
Michael Hanus authored
Move generatePrologBasics into Makefile See merge request !29
-
Michael Hanus authored
Quote variables where possible in scripts See merge request !28
-
Michael Hanus authored
Replace 'which' calls with 'command -v' See merge request !27
-
- 18 Oct, 2022 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 17 Oct, 2022 2 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 16 Oct, 2022 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 14 Oct, 2022 1 commit
-
-
Michael Hanus authored
-
- 13 Oct, 2022 1 commit
-
-
Michael Hanus authored
-
- 10 Oct, 2022 1 commit
-
-
Michael Hanus authored
-
- 08 Oct, 2022 1 commit
-
-
Michael Hanus authored
-
- 07 Oct, 2022 1 commit
-
-
Michael Hanus authored
-
- 14 Sep, 2022 1 commit
-
-
Michael Hanus authored
-
- 31 Aug, 2022 1 commit
-
-
Michael Hanus authored
-
- 19 Jul, 2022 1 commit
-
-
Michael Hanus authored
-
- 23 Feb, 2022 1 commit
-
-
Michael Hanus authored
-
- 10 Feb, 2022 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 03 Feb, 2022 1 commit
-
-
Michael Hanus authored
-
- 07 Jan, 2022 1 commit
-
-
Michael Hanus authored
-
- 05 Jan, 2022 4 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 20 Dec, 2021 1 commit
-
-
Michael Hanus authored
-