CBMCPlugin
..........\CBMCCmd.cpp
..........\CBMCCmd.h
..........\CBMCConfigJson.cpp
..........\CBMCConfigJson.h
..........\CBMCConsolePanel.cpp
..........\CBMCConsolePanel.h
..........\CBMCDialog.cpp
..........\CBMCDialog.h
..........\cbmcplugin.cpp
..........\cbmcplugin.h
..........\CBMCPlugin.mk
..........\CBMCPlugin.project
..........\CBMCPlugin.txt
..........\CBMCPluginUI.cpp
..........\CBMCPluginUI.h
..........\CBMCPluginUI.wxcp
..........\CBMCPlugin_bitmaps.cpp
..........\CBMCPlugin_bitmaps.xrc
..........\WinDebugUnicode
..........\...............\.d
..........\...............\CBMCCmd.cpp.o
..........\...............\CBMCCmd.cpp.o.d
..........\...............\CBMCConfig.cpp.o
..........\...............\CBMCConfig.cpp.o.d
..........\...............\CBMCConfigJson.cpp.o
..........\...............\CBMCConfigJson.cpp.o.d
..........\...............\CBMCConsolePanel.cpp.o
..........\...............\CBMCConsolePanel.cpp.o.d
..........\...............\CBMCDialog.cpp.o
..........\...............\CBMCDialog.cpp.o.d
..........\...............\CBMCPlugin-dbg.dll
..........\...............\cbmcplugin.cpp.o
..........\...............\cbmcplugin.cpp.o.d
..........\...............\CBMCPluginUI.cpp.o
..........\...............\CBMCPluginUI.cpp.o.d
..........\...............\CBMCPlugin_bitmaps.cpp.o
..........\...............\CBMCPlugin_bitmaps.cpp.o.d
..........\...............\CBMCProcessor.cpp.o.d
..........\...............\CBMCUI.cpp.o
..........\...............\CBMCUI.cpp.o.d
..........\...............\CBMCUI_cbmcplugin_bitmaps.cpp.o
..........\...............\CBMCUI_cbmcplugin_bitmaps.cpp.o.d
..........\...............\MyDialog.cpp.o.d