Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-01-09 | vterm repl - multiple repls | jao | |
2021-01-09 | compilation: fixes to not break anything with jao-compilation-root | jao | |
2021-01-04 | vterm-repl: shorter buffer names | jao | |
2021-01-02 | jao-vterm-repl | jao | |
2020-12-29 | jao-compilation (and old stuff removed) | jao | |
2020-08-07 | prefer cabal | jao | |
2020-08-04 | jao-sloc moved | jao | |
2019-04-03 | compilation: use stack | jao | |
2010-10-12 | Initial contents | Jose Antonio Ortega Ruiz | |