Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我在ProB中可视化大量代码时遇到问题。此图显示了带有（使用 Graphviz dotty）ProB 的服务器的登录部分，但没有解决大量代码获取该图的解决方案。请让我知道您的建议和想法，
I have an HTML code with the following:
<object class="sis" id="sis1" type="text/html" data="sis/sis1.html"></object>
and in the imported file I have and &l
&l
