Mon, 07 Oct 2013 14:08:10 +0400 |
Sergey Mironov |
Add show instance for 'id' type |
Mon, 09 Dec 2013 17:25:53 -0500 |
Adam Chlipala |
Merge |
Mon, 09 Dec 2013 15:47:14 -0500 |
Adam Chlipala |
Rename <activeHead> to <script> and make it work properly |
Fri, 06 Dec 2013 14:52:47 +0400 |
Sergey Mironov |
activeHead: don't modify the head. just execute the code provided |
Fri, 06 Dec 2013 13:59:39 +0400 |
Sergey Mironov |
Add activeHead tag. |
Fri, 06 Dec 2013 08:44:26 -0500 |
Adam Chlipala |
Add 'xhead' case to Monoize |
Tue, 01 Oct 2013 07:33:20 -0400 |
Adam Chlipala |
Add monoize case for 'dml' type |
Tue, 16 Apr 2013 10:55:48 -0400 |
Adam Chlipala |
Basis.tryRpc |