Age | Commit message (Expand) | 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 |