[seplogic/jstar] 589c8f: some changes in modifies clauses

2 views

Skip to first unread message

unread,

Nov 8, 2013, 3:47:29 PM11/8/13

to jstar-de...@googlegroups.com

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 589c8f59341e11256b932e2e73a6107ea98eda4a
https://github.com/seplogic/jstar/commit/589c8f59341e11256b932e2e73a6107ea98eda4a
Author: Nikos <nik...@eecs.qmul.ac.uk>
Date: 2013-11-08 (Fri, 08 Nov 2013)

Changed paths:
M src/topl/toplSpecs.ml

Log Message:
-----------
some changes in modifies clauses

Reply all

Reply to author

Forward

0 new messages