Ticket #26210

デカルト言語のソースのチェックを行うchecksrc述語を追加

Open Date: 2011-09-03 22:11 Last Update: 2011-09-06 21:07

Reporter:
Owner:
Status:
Closed
Component:
(None)
Priority:
5 - Medium
Severity:
5 - Medium
Resolution:
Fixed
File:
None

Details

デカルト言語のソースのチェックを行うchecksrc述語を追加する。 文字誤りや定義忘れが原因の未定義述語を検出できるようにする。

Ticket History (2/2 Histories)

2011-09-03 22:11 Updated by: hniwa
  • New Ticket "デカルト言語のソースのチェックを行うchecksrc述語を追加" created
2011-09-06 21:07 Updated by: hniwa
  • Resolution Update from None to Fixed
  • Status Update from Open to Closed
  • Ticket Close date is changed to 2011-09-06 21:07

Attachment File List

No attachments

Edit

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Login