source: branches/3.2/tools/CedmaExporter @ 8309

Name	Size	Rev	Age	Author	Last Change
../
Properties	​	4539	14 years	swagner	Corrected SVN property bugtraq:url (#666)
SymbolicExpressionExporter.cs	7.9 KB ​	2286	15 years	gkronber	Fixed a bug in the s-expression exporter. Improved exporter UI. #715 & #719
Program.cs	456 bytes ​	2228	15 years	gkronber	Added first crude implementation of CEDMA exporter. #715
Ontology.cs	16.1 KB ​	2228	15 years	gkronber	Added first crude implementation of CEDMA exporter. #715
CedmaExporterForm.resx	5.7 KB ​	2286	15 years	gkronber	Fixed a bug in the s-expression exporter. Improved exporter UI. #715 & #719
CedmaExporterForm.Designer.cs	2.9 KB ​	2286	15 years	gkronber	Fixed a bug in the s-expression exporter. Improved exporter UI. #715 & #719
CedmaExporterForm.cs	3.0 KB ​	2312	15 years	gkronber	Added CedmaExporter from #715 branch.
CedmaExporter.csproj	8.3 KB ​	2312	15 years	gkronber	Added CedmaExporter from #715 branch.
CedmaExporter.cs	6.4 KB ​	2312	15 years	gkronber	Added CedmaExporter from #715 branch.

Property bugtraq:label set to Ticket Property bugtraq:logregex set to (?:ticket: *|#)(\d+) *(?:, *(\d+))* Property bugtraq:url set to /trac/hl/core/ticket/%BUGID% Property bugtraq:warnifnoissue set to true Property svn:ignore set to bin obj *.user