Faq.Home History

Hide minor edits - Show changes to output - Cancel

December 04, 2014, at 11:19 AM by dorigatti - Added link to NuSMV FAQs
Changed lines 12-14 from:
'''[[Faq/Faqs#faq0004| FAQ 0004]]''': Can I save a file in .smt format?
to:
'''[[Faq/Faqs#faq0004| FAQ 0004]]''': Can I save a file in .smt format?

Most of [[http://nusmv.fbk.eu/faq.html|NuSMV FAQs]] apply to nuXmv as well.
Changed lines 10-12 from:
'''[[Faq/Faqs#faq0003| FAQ 0003]]''': How can I subscribe/unsubscribe to the nuXmv mailing list?
to:
'''[[Faq/Faqs#faq0003| FAQ 0003]]''': How can I subscribe/unsubscribe to the nuXmv mailing list?

'''[[Faq/Faqs#faq0004| FAQ 0004]]''': Can I save a file in .smt format
?
Changed line 3 from:
!!! nuXmv FAQ Summary
to:
!!! FAQ Summary
Changed lines 8-10 from:
'''[[Faq/Faqs#faq0002| FAQ 0002]]''': How can I report a bug about nuXmv?
to:
'''[[Faq/Faqs#faq0002| FAQ 0002]]''': How can I report a bug about nuXmv?

'''[[Faq/Faqs#faq0003| FAQ 0003]]''': How can I subscribe/unsubscribe to the nuXmv mailing list
?
Changed lines 6-8 from:
'''[[Faq/Faqs#faq0001| FAQ 0001]]''' Can I use nuXmv in a commercial setting?

'''[[Faq/Faqs#faq0002| FAQ 0002]]''' How can I report a bug about nuXmv?
to:
'''[[Faq/Faqs#faq0001| FAQ 0001]]''': Can I use nuXmv in a commercial setting?

'''[[Faq/Faqs#faq0002| FAQ 0002]]''': How can I report a bug about nuXmv?
Added line 4:
Added lines 2-3:

!!! nuXmv FAQ Summary
Added lines 1-5:
(:title Frequently Asked Questions :)

'''[[Faq/Faqs#faq0001| FAQ 0001]]''' Can I use nuXmv in a commercial setting?

'''[[Faq/Faqs#faq0002| FAQ 0002]]''' How can I report a bug about nuXmv?