No matches were found for subject:"\[fricas\-devel\] \[PATCH\] fix display issue of \"output\" in book section 6.19"