2 results (0.34 seconds) 

Did you mean: "Temporal Logic Of Actions Mode"

    Google
     Custom Search
  1. TemporalLogicOfActionsMode - EmacsWiki
    Sep 5, 2008 ... TemporalLogicOfActionsMode is an Emacs mode for editing specifications in
    TemporalLogicOfActionsPlus? (TLA+), a formal specification ...

    www.emacswiki.org/emacs/TemporalLogicOfActionsMode
  2. EmacsWiki: Category Modes
    Jul 10, 2014 ... ... TempbufMode – automatically delete unused buffers;
    TemporalLogicOfActionsMode · TestCaseMode – a minor mode for running unit
    tests ...

    www.emacswiki.org/emacs/CategoryModes

Did you mean to search for: "Temporal Logic Of Actions Mode"



 

Search Tips


©2013 Google