search

habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Terminal \<WW>\<^sup>c should be \<WW>\<^sub>c #43

Closed dmarmsoler closed 6 years ago

dmarmsoler commented 6 years ago

in conn_sb, \\<^sup>c should become \\<^sub>c. So sub instead of sup.