mars0i 63fb913332 added tip to man page to make simple prompt		2019-05-05 20:20:27 -04:00
..
dune	port build from jbuilder to dune	2019-01-15 09:50:54 +00:00
utop-full.1	install utop-full with access to compiler libraries	2012-07-31 17:09:40 +02:00
utop.1	added tip to man page to make simple prompt	2019-05-05 20:20:27 -04:00
utoprc.5	allow to configure the external editor	2015-10-29 10:07:28 +00:00