Convert the displaying of output to MVVM master
[brainmess.git] / csharp /
drwxr-xr-x   ..
-rw-r--r-- 4415 Brainmess.sln
-rw-r--r-- 510 Brainmess.vsmdi
drwxr-xr-x - Brainmess
drwxr-xr-x - BrainmessCore
drwxr-xr-x - BrainmessCoreTests
drwxr-xr-x - BrainmessShort
-rw-r--r-- 1852 Local.testsettings
-rw-r--r-- 1801 TraceAndTestImpact.testsettings
drwxr-xr-x - lib
-rw-r--r-- 10657 proof.tex