tagger benchmark

[IRC.git] / Robust / src / Benchmarks / mlp / tagger / original-java / examples / fse.txt

diff --git a/Robust/src/Benchmarks/mlp/tagger/original-java/examples/fse.txt b/Robust/src/Benchmarks/mlp/tagger/original-java/examples/fse.txt
new file mode 100755 (executable)
index 0000000..ce70c8f
--- /dev/null
+++ b/Robust/src/Benchmarks/mlp/tagger/original-java/examples/fse.txt
@@ -0,0 +1,73 @@
+\preamble\r
+\loadchars{k:\Research\Tagger\maps\standard-charmap.txt}\r
+\loadchars{k:\Research\Tagger\maps\lucmathsym-charmap.txt}\r
+\loadchars{k:\Research\Tagger\maps\lucmathit-charmap.txt}\r
+\loadchars{k:\Research\Tagger\maps\lucmathext-charmap.txt}\r
+\loadstyles{k:\Research\Tagger\examples\styles.txt}\r
+\r
+\title A Micromodularity Mechanism\r
+\r
+\author Daniel Jackson, Ilya Shlyakhter and Manu Sridharan\\\r
+Laboratory for Computer Science\\\r
+Massachusetts Institute of Technology\\\r
+Cambridge, Massachusetts, USA\\\r
+dnj@mit.edu\r
+\r
+\title A Micromodularity Mechanism for \Gamma \delta \r
+\r
+floor left big: \floorleftbig . \r
+\r
+Daniel Jackson\r
+\r
+\section Introduction\r
+\r
+hello there.\r
+\r
+\subsection First sub\r
+\r
+\subsection First sub\r
+\r
+\r
+\subsection First sub\r
+\r
+\section Introduction\r
+\r
+hello there.\r
+\r
+\subsection First sub\r
+\r
+\subsection First sub\r
+\r
+\subsubsection First subsub\r
+\r
+\subsubsection First subsub\r
+\r
+\subsubsection First subsub\r
+\r
+\subsubsection First subsub\r
+\r
+\subsubsection First subsub\r
+\r
+\subsubsection First subsub\r
+\r
+\subsubsection First subsub\r
+\r
+\r
+\subsection First sub\r
+\r
+\author       Daniel Jackson123, Ilya Shlyakhter and Manu Sridharan\\\r
+\r
+# comment here!\r
+\r
+Laboratory for Computer Science\\\r
+dnj@mit.edu\r
+\r
+\opening Abstract\r
+\r
+Hello ... and here .. \r
+A simple mechanism. The paper demonstrates the flexibility of the mechanism by application in a variety of common idioms.\r
+\r
+"I really love this 'quote' kind of thing -- said Ian's mother, who always primed x' in '69."\r
+\subsection* Categories and Subject Descriptors\r
+\r
+D.2.1 Requirements/Specifications---Languages; Assertions, Invariants, Specification techniques. This is an ellipsis...And there you go!
\ No newline at end of file