View all changes

Utop 1.6

See full changelog
  • hide topfind messages by default
  • more predefined prompts available via #utop_prompt_XXX
  • fix a bug in #require when passing multiple packages
  • display errors in ~/.lambda-term-inputrc nicely
  • doc update
  • fix an issue when using first-class modules