k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Omar Duhaiby <3omarz AT gmail.com>
- To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
- Subject: [K-user] Beautify Krun output
- Date: Sun, 18 May 2014 23:02:17 +0300
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
Hello,
Is there a way to make the output of Krun, the configurations, become like the bubbles that kompile produces in tex and pdf?- [K-user] Beautify Krun output, Omar Duhaiby, 05/18/2014
Archive powered by MHonArc 2.6.16.