Build #119 (Oct 21, 2018 9:42:09 AM)

1. uniform naming of strong congruence rules (detail / hgweb)
2. added lemma (detail / hgweb)
3. update MacOSX plugin for Java 11; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.

• Coinductive
• LTL_to_DRA
• DataRefinementIBP
• Containers
• GraphMarkingIBP
• Markov_Models
• Monad_Memo_DP
• Multirelations
• pGCL
• MonoBoolTranAlgebra
• Groebner_Bases
• FFT
• Pi_Transcendental
• Deep_Learning
• Symmetric_Polynomials
• Polynomials