Pretty printer for Prolog Terms
Description
None
Environment
None
Activity
Show:
Jenkins Build Server
January 15, 2013, 2:56 PM
Jenkins Build Server
January 17, 2013, 9:06 AM
Integrated in
ProB_TclTk_Windows #127
(Revision 12798)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/Makefile
/trunk/prolog/extensions/zmq/master.c
Jenkins Build Server
January 21, 2013, 3:16 PM
Integrated in
ProB_TclTk_Linux_No_Parallel #12
(Revision 12798)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/Makefile
/trunk/prolog/extensions/zmq/master.c
