monitor\cache.c
.......\demo.in
.......\demo_data (conflicting version 1 created on Home PC).txt
.......\demo_data.txt
.......\demo_data_new.txt
.......\demo_spec.txt
.......\distances.c
.......\distances.h
.......\inpdat.txt
.......\lex.c
.......\ltl2ba.h
.......\main (conflicting version 1 created on Home PC).c
.......\main (conflicting version 2 created on Lab- PC).c
.......\main.c
.......\Makefile
.......\mem.c
.......\monitor (conflicting version 1 created on Home PC).ncb
.......\monitor (conflicting version 2 created on Lab- PC).ncb
.......\monitor.dsp
.......\monitor.dsw
.......\monitor.h
.......\monitor.ncb
.......\monitor.opt
.......\monitor.plg
.......\monitor.sln
.......\monitor.sln.old
.......\monitor.suo
.......\monitor.vcproj
.......\monitor.vcproj.8.00.old
.......\monitor.vcproj.ASUAD.cliu81.user
.......\monitor.vcproj.AUT-AGENT1.SaMaTaS.user
.......\monitor.vcproj.CheLiu-PC.Che Liu.user
.......\monitor.vcproj.GFTHEGREAT2.fainekos.user
.......\mtlmonitor.c
.......\parse.c
.......\rewrt.c
.......\taliro.exe
.......\taliro_exm_1_data.txt
.......\taliro_exm_1_spec.txt
.......\UpgradeLog.XML
.......\_UpgradeReport_Files\UpgradeReport.css
.......\....................\UpgradeReport.xslt
.......\....................\UpgradeReport_Minus.gif
.......\....................\UpgradeReport_Plus.gif
.......\_UpgradeReport_Files
monitor