Comments for “KWARC was!” http://kwarc.info/blog KWARC research group's blog Fri, 29 Aug 2008 06:26:51 +0000 http://wordpress.org/?v=2.2.2 Comment on Message from MKM: Specifying Strategies of Exercises by “KWARC was!” » Blog Archive » Message from MKM: Mathematical Exercises http://kwarc.info/blog/2008/07/29/message-from-mkm-specifying-strategies-of-exercises/#comment-209 “KWARC was!” » Blog Archive » Message from MKM: Mathematical Exercises Wed, 30 Jul 2008 09:11:17 +0000 http://kwarc.info/blog/2008/07/29/message-from-mkm-specifying-strategies-of-exercises/#comment-209 [...] Different numbers of proving steps: see MKM: Specifying Strategies of Exercises [...] […] Different numbers of proving steps: see MKM: Specifying Strategies of Exercises […]

]]> Comment on Welcome to mmlkit!!! by Christine http://kwarc.info/blog/2007/12/15/welcome-to-mmlkit/#comment-206 Christine Sun, 27 Jul 2008 15:33:32 +0000 http://kwarc.info/blog/2007/12/15/welcome-to-mmlkit/#comment-206 MMLKit is no longer maintained. Its functionality has been reimplemented in <a href="http://omdoc.org/jomdoc" rel="nofollow">JOMDoc</a> MMLKit is no longer maintained. Its functionality has been reimplemented in JOMDoc

]]> Comment on ”Only humans are capable of understanding and making necessary intelligent choices.” by “KWARC was!” » Blog Archive » Instantiating CoP Models http://kwarc.info/blog/2007/09/15/only-humans-are-capable-of-understanding-and-making-necessary-intelligent-choices/#comment-5 “KWARC was!” » Blog Archive » Instantiating CoP Models Sun, 16 Sep 2007 16:21:29 +0000 http://kwarc.info/blog/2007/09/15/only-humans-are-capable-of-understanding-and-making-necessary-intelligent-choices/#comment-5 [...] his blog, Normen Müller recently posted a comment on Only humans are capable of understanding and making necessary intelligent choices. I agree that the structural semantic techniques allow for relieving humans from tedious choices or [...] […] his blog, Normen Müller recently posted a comment on Only humans are capable of understanding and making necessary intelligent choices. I agree that the structural semantic techniques allow for relieving humans from tedious choices or […]

]]> Comment on Locutor successfully used during EU proposal by Red http://kwarc.info/blog/2007/05/10/locutor-successfully-used-during-eu-proposal/#comment-3 Red Fri, 20 Jul 2007 06:41:16 +0000 http://kwarc.info/blog/2007/05/10/locutor-successfully-used-during-eu-proposal/#comment-3 <strong>Red...</strong> In few years we will see a result... Red…

In few years we will see a result…

]]> Comment on A shorter alias for locutor by clange http://kwarc.info/blog/2007/05/21/a-shorter-alias-for-locutor/#comment-2 clange Mon, 21 May 2007 14:14:30 +0000 http://kwarc.info/blog/2007/05/21/a-shorter-alias-for-locutor/#comment-2 OK, I see that the symlink thing actually is not a new feature. Dear users, read the post-install information first before thinking yourself! OK, I see that the symlink thing actually is not a new feature. Dear users, read the post-install information first before thinking yourself!

]]>