summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2022-10-25modules: haskell: add hindent dependency for the spacemacs layerHEADmasterQuentin Aristote
2022-09-25pinDerivations: explain it is useless with nix-direnvQuentin Aristote
2022-09-24ocaml: remove extra whitespaceQuentin Aristote
2022-09-24modules: add haskell moduleQuentin Aristote
2022-09-01modules: latex: minted: debug dependency on pygments libQuentin Aristote
2022-07-01golang: add gocode to pathQuentin Aristote
2022-04-16clean shellHook after running it so that it does not run again when using nix...Quentin Aristote
2022-04-16typoQuentin Aristote
2022-02-14correct passing of coq configQuentin Aristote
2022-02-13add minted specific configurationQuentin Aristote
2022-02-13correct option to set versionQuentin Aristote
2022-01-26modules : add rust supportQuentin Aristote
2022-01-20latex : change default scheme ; add minted dependenciesQuentin Aristote
2021-12-27remove quoting around nix paths cast to stringsQuentin Aristote
2021-12-11ocaml : add comments in declaration of ocamlInitQuentin Aristote
2021-12-11aliases : remove bug introduced in previous commitQuentin Aristote
2021-12-11pinDerivations : add option to specify filenamesQuentin Aristote
2021-12-11add pinDerivations optionQuentin Aristote
2021-12-11template : show that settings may use arguments like any nix moduleQuentin Aristote
2021-12-11correct description of nativeBuildInputsQuentin Aristote
2021-12-11ocaml : simplify default value for versionQuentin Aristote
2021-12-11ocaml : add libDirs optionQuentin Aristote
2021-12-11ocaml : add version optionQuentin Aristote
2021-12-11add defaultEditor optionQuentin Aristote
2021-12-11clean extra whitespaceQuentin Aristote
2021-12-08have coq be enabled as a prover by enabling the coq optionQuentin Aristote
2021-12-08debug coq supportQuentin Aristote
2021-12-08add option to specify rc (commands prepended to any coq file)Quentin Aristote
2021-12-07why3 : pass the generated config file with --config instead of --extra-configQuentin Aristote
2021-12-06apply nix-formatQuentin Aristote
2021-12-06import the why3 moduleQuentin Aristote
2021-12-06finish why3 module creationQuentin Aristote
2021-12-06add options to specify proversQuentin Aristote
2021-12-06Merge branch 'master' into why3Quentin Aristote
2021-12-06remove quoting around nix paths cast to stringsQuentin Aristote
2021-12-06add basic optionsQuentin Aristote
2021-12-05explain and add example for default configurationsQuentin Aristote
2021-12-05add todo listQuentin Aristote
2021-12-05explain where to find available optionsQuentin Aristote
2021-12-05rephrase readmeQuentin Aristote
2021-12-05add readmeQuentin Aristote
2021-12-03change import path to point to current directoryQuentin Aristote
2021-12-03enable nixQuentin Aristote
2021-12-03add a template file for shell.nixQuentin Aristote
2021-12-03ignore tests directoryQuentin Aristote
2021-12-03add basic shell.nix fileQuentin Aristote
2021-12-03initial commitQuentin Aristote
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-24 22:53:16 +0000