Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 13 Jul 2011 11:31:36 +0900] rev 44662
Tuned
wenzelm [Tue, 12 Jul 2011 23:22:22 +0200] rev 44661
more thorough Variable.check_name: Binding.check for logical entities within the term language;
wenzelm [Tue, 12 Jul 2011 23:20:34 +0200] rev 44660
tuned;
wenzelm [Tue, 12 Jul 2011 20:53:14 +0200] rev 44659
merged
wenzelm [Tue, 12 Jul 2011 20:11:11 +0200] rev 44658
ML pp for XML.tree;
wenzelm [Tue, 12 Jul 2011 20:11:00 +0200] rev 44657
made SML/NJ happy;
wenzelm [Tue, 12 Jul 2011 19:49:35 +0200] rev 44656
clarified YXML.detect;
wenzelm [Tue, 12 Jul 2011 19:47:40 +0200] rev 44655
retain some terminology of "XML attributes";
wenzelm [Tue, 12 Jul 2011 19:36:46 +0200] rev 44654
more uniform Properties in ML and Scala;
wenzelm [Tue, 12 Jul 2011 18:00:05 +0200] rev 44653
more uniform Term and Term_XML modules;