Search results

Allow comments in formulas

Status: Open.

#42 In FMFI-UK-1-AIN-412/tableauEditor;

· gardenerik opened on May 3, 2023

Non-logical and variable symbols disjointness

Status: Open.

#34 In FMFI-UK-1-AIN-412/tableauEditor;

· crnkjck opened on Apr 30, 2021

Improve reload-resilience

Status: Open.

#30 In FMFI-UK-1-AIN-412/tableauEditor;

· crnkjck opened on Apr 14, 2021

Tests!

Status: Open.

#7 In FMFI-UK-1-AIN-412/tableauEditor;

· yoyko opened on May 24, 2017

Automatic detection of source formulas and substitutions

enhancement

Status: Open.

#3 In FMFI-UK-1-AIN-412/tableauEditor;

· crnkjck opened on May 18, 2017

Complete open branch marking and checking

enhancement

Status: Open.

#1 In FMFI-UK-1-AIN-412/tableauEditor;

· crnkjck opened on May 18, 2017