Pretty printer for Prolog Terms

Description

None

Environment

None

Activity

Show:
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

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 15, 2013, 2:56 PM

Integrated in

ProB_TclTk_Linux #5295

Result = SUCCESS

Fixed

Assignee

Philipp Koerner

Reporter

Jens Bendisposto