Friday, 23 November 2007
Thursday, 15 November 2007
Monday, 12 November 2007
- delta.py Bug: RuntimeError
- Re: CWM Bug: Rules That Strip Quantification
- delta.py Bug: Production of Output that CWM --patch Can't Use
Sunday, 11 November 2007
Friday, 2 November 2007
- Re: cwm does not understand the typed-node-as-root idiom?
- Re: proof step for list built-in is goofy
- Re: lifting rules send cwm into a tailspin
- Re: cwm does not understand the typed-node-as-root idiom?
- [closed] Re: Bug? SPARQL query comma-joined object variables
- [closed] Re: check doesn't workt with daig == 1
- [closed] Re: inclusion in conclusion RuntimeError: maximum recursion depth exceeded
- Re: Is 1.0.0 the latest version?
- Re: cwm TypeError
- [closed] Re: CWM installation
- [closed] Re: Old Bugs, Rotting Documentation
- [closed] Re: CWM Bug: bNodes Mistakenly Converted to URIs