Sanchayan Maity e3d3e8b986 fish: functions: Add an alias to coqtop ... Wrap coqtop in rlwrap and create an alias for that.		2022-01-07 20:39:57 +05:30
..
conf.d	fish: conf/setup: Pass the shell syntax to use for fnm	2022-01-03 20:26:47 +05:30
functions	fish: functions: Add an alias to coqtop	2022-01-07 20:39:57 +05:30
config.fish	fish: Refactor fish shell configuration	2021-12-29 18:54:57 +05:30