[seplogic/jstar] 20901c: sync with corestar

2 views
Skip to first unread message

Radu Grigore

unread,
Jun 8, 2014, 9:37:01 AM6/8/14
to jstar-de...@googlegroups.com
Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 20901c8b3f846d7eb3eb1c79c266d07985ab205c
https://github.com/seplogic/jstar/commit/20901c8b3f846d7eb3eb1c79c266d07985ab205c
Author: Radu Grigore <radug...@gmail.com>
Date: 2014-06-08 (Sun, 08 Jun 2014)

Changed paths:
M src/jimplefront/jstar.ml

Log Message:
-----------
sync with corestar


Reply all
Reply to author
Forward
0 new messages