research

A Logic-Independent IDE

Authors
Publication date
1 October 2014
Publisher
'Open Publishing Association'
Doi
    View on arXiv

    Abstract

    The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, search, and change management.Comment: In Proceedings UITP 2014, arXiv:1410.785

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Directory of Open Access Journals

      redirect
      oaioai:doaj.org/article:dd1dbf0c3...
      Last time updated on 12/10/2017