Home My Page Projects Slimmer
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Forum: Bedwyr 1.2

Posted by: David Baelde
Date: 2010-04-18 19:23
Summary: Bedwyr 1.2
Project: Slimmer

Content:

After a long time, we've release a new version of Bedwyr. We have fixed a couple bugs, but there are also some improvements inherited from Tac regarding term printing (indentation, better variable naming), and new examples.
Latest News

Bedwyr 1.2

David Baelde - 2010-04-18 19:23 -

Tac at IJCAR 2010 & new release

David Baelde - 2010-04-18 19:21 -

Bedwyr Version 1.1 released

Dale Miller - 2007-02-19 10:34 -

New Example: mute.def

Dale Miller - 2007-02-02 07:43 -

Bedwyr 1.0 release

Dale Miller - 2006-11-01 19:38 -
Monitor Forum | Start New Thread Start New Thread