config_de.properties revision 4115
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsynctree 4115:
7f9918478137b033e564aacbc1b6b48759d33fa6vboxsync
7f9918478137b033e564aacbc1b6b48759d33fa6vboxsync.gitignore
866911090b30929cbdd4466f61e94baed2bf8c41vboxsyncATC.hs
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncATC/
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncAdl/
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncCASL.hs
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncCASL/
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncCASL_DL.hs
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncCASL_DL/
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncCMDL.hs
f52596ee352b88100d0a2abd044c8edd3c542bd7vboxsyncCMDL/
7f9918478137b033e564aacbc1b6b48759d33fa6vboxsyncCOL.hs
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncCOL/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncCSL/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncCoCASL.hs
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncCoCASL/
1dc3af4036da29cda29f64e869e77009c10faddcvboxsyncCommon.hs
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncCommon/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncCommonLogic/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncComorphisms.hs
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncComorphisms/
6483cbab80d4abff09b42736eb8f7e4ce7e94468vboxsyncConstraintCASL/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncCspCASL.hs
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncCspCASL/
2c07c1fedb046186887479cc69f283d83e70b268vboxsyncCspCASLProver.hs
2c07c1fedb046186887479cc69f283d83e70b268vboxsyncCspCASLProver/
2c07c1fedb046186887479cc69f283d83e70b268vboxsyncDFOL/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncDMU/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncDriver.hs
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncDriver/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncExtModal.hs
866911090b30929cbdd4466f61e94baed2bf8c41vboxsyncExtModal/
866911090b30929cbdd4466f61e94baed2bf8c41vboxsyncFpl/
2c07c1fedb046186887479cc69f283d83e70b268vboxsyncFramework.hs
2c07c1fedb046186887479cc69f283d83e70b268vboxsyncFramework/
2c07c1fedb046186887479cc69f283d83e70b268vboxsyncFreeCAD/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncGMP/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncGUI.hs
866911090b30929cbdd4466f61e94baed2bf8c41vboxsyncGUI/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncHasCASL.hs
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncHasCASL/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncHaskell.hs
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncHaskell/
866911090b30929cbdd4466f61e94baed2bf8c41vboxsyncHets-Haddock-Prologue.txt
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncHets.cabal
866911090b30929cbdd4466f61e94baed2bf8c41vboxsyncHolLight/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncINSTALL
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncInterfaces/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncIsabelle.hs
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncIsabelle/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncLF/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncLICENSE.txt
1dc3af4036da29cda29f64e869e77009c10faddcvboxsyncLIZENZ.txt
1dc3af4036da29cda29f64e869e77009c10faddcvboxsyncLogic.hs
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncLogic/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncLottery/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncMakefile
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncMakefile.installer
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncMaude/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncModal.hs
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncModal/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncModifications/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncOMDoc.hs
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncOMDoc/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncOWL2.hs
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncOWL2/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncOmega/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncPGIP/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncProofs.hs
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncProofs/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncPropositional.hs
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncPropositional/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncQBF/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncRDF/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncREADME
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncREADME.installer
30f32b2f7e476603bdd31875aebe36e10c461140vboxsyncRelationalScheme.hs
be1060641e3df4f0c1fe94fbb7d525a92ed81986vboxsyncRelationalScheme/
be1060641e3df4f0c1fe94fbb7d525a92ed81986vboxsyncReleaseMakefile
be1060641e3df4f0c1fe94fbb7d525a92ed81986vboxsyncScratch.hs
be1060641e3df4f0c1fe94fbb7d525a92ed81986vboxsyncSearch/
1dc3af4036da29cda29f64e869e77009c10faddcvboxsyncSoftFOL.hs
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncSoftFOL/
d9069547189cfbe8a2f39d730015d6748e181d1bvboxsyncStatic.hs
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncStatic/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncSyntax/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncTHF/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncTaxonomy.hs
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncTaxonomy/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncTemporal/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncToHaskell/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsyncVSE/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncatermlib/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncbuild.xml
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncclean.lst
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncclean.sh
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncdoc/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsynchets.hs
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsynchets.in
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncideas
6483cbab80d4abff09b42736eb8f7e4ce7e94468vboxsyncmini/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncpretty/
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncprogramatica
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncsample-ghci-script
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsynctest/
231087accf2a51542c9d80768e75ac104f9d9e3dvboxsynctodo
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncutils/
bc9beab6903da1ec6edc47adab5a69f7e4ddfcc6vboxsyncvar.mk
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsyncversion_nr
9211fc40e1fa706eaa4d49cf4a3cfc654bbc413evboxsync