3 commits

Author	SHA1	Message	Date
Pedro Alves	f8b70a30ea	coq-nvim: init plugin ... still need to add most options, but this is enough to be usable right now! This also sets up the work needed for other completion frameworks, notably things like nvim-cmp and compe.	2022-01-09 23:04:12 +00:00
legendofmiracles	ea8a0f5c01	mark-radar: init	2021-12-13 14:18:54 +00:00
Pedro Alves	ff824e9dba	Declaratively manage plugins not in nixpkgs ... Created the plugins/plugin-defs.nix file, which will include definitions for all plugins not in nixpkgs. This way, we can get rid of the packer dependency and make the whole thing truly declarative!	2021-12-12 12:39:08 +00:00