dialogspeller.h

learndialog.h

testdialog.h

ui_dialogspeller.h

ui_learndialog.h

ui_testdialog.h

ui_unitlession.h

unitlession.h

dialogspeller.cpp

learndialog.cpp

main.cpp

debug\moc_dialogspeller.cpp

.....\moc_learndialog.cpp

.....\moc_testdialog.cpp

.....\moc_unitlession.cpp

.....\qrc_icon.cpp

testdialog.cpp

unitlession.cpp

debug\lession.exe

.....\dialogspeller.obj

.....\learndialog.obj

.....\main.obj

.....\moc_dialogspeller.obj

.....\moc_learndialog.obj

.....\moc_testdialog.obj

.....\moc_unitlession.obj

.....\qrc_icon.obj

.....\testdialog.obj

.....\unitlession.obj

Makefile

database.db

Makefile.Debug

lession.pro.user.fd0c354

debug\lession.ilk

.....\lession.exe.embed.manifest

.....\lession.pdb

lession.pro

icon\icon.qrc

icon.qrc

debug\lession.exe_manifest.rc

Makefile.Release

debug\lession.exe_manifest.res

dialogspeller.ui

learndialog.ui

testdialog.ui

unitlession.ui

lession.pro.user

icon\Boolector.png

....\copy.png

....\cut.png

....\Generate.png

....\MiniSat.png

....\new.png

....\open.png

....\paste.png

....\ReadProperty.png

....\ReadRTL.png

....\save.png

....\Start.png

....\Stop.png

....\Verify.png

debug

icon

release