There is a bug in …
There is a bug in Full Maude 2.4 that I cannot find. Please start Maude with the command maude-2.3 and then it works well!
Published Mar. 2, 2009 3:40 PM
- Last modified June 5, 2009 3:32 PM
There is a bug in Full Maude 2.4 that I cannot find. Please start Maude with the command maude-2.3 and then it works well!