[slime-devel] mixed development environment