<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 14.04.2015 15:59, Lars Noschinski
wrote:<br>
</div>
<blockquote cite="mid:552D1D27.90304@in.tum.de" type="cite">Currently,
I'm still contemplating whether it is feasible to add a
proper ML interface in the short remaining time, but this probably
needs
to wait for the next release, too.
</blockquote>
Turns out, a proper ML interface is not too hard, see now
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span
style=" font-family:'monospace'; font-size:9pt;">ef4fe30e9ef1.<br>
</span></p>
<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px;
margin-right:0px; -qt-block-indent:0; text-indent:0px;"><span
style=" font-family:'monospace'; font-size:9pt;"><br>
Writing the patterns down, however, is a quite annoying task.</span><br>
-- Lars<br>
<span style=" font-family:'monospace'; font-size:9pt;"></span></p>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css">
p, li { white-space: pre-wrap; }
</style>
<meta name="qrichtext" content="1">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css">
p, li { white-space: pre-wrap; }
</style>
</body>
</html>