Fri Feb 17 12:09:44 WET 2006 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Small improvements and fixes
This patch:
fixes a bug concerning the restore of empty nets from file
updates webpage
change default display options to show edges names
changes to a better name one of the default palette elements
creates a parameter to control principal ports size
{
binary ./INblobs.png
hunk ./NatIN.INblobpalette 12
- , ("A"[_^M_][_$_]
+ , ("Add"[_^M_][_$_]
hunk ./NatIN.INblobpalette 67
- , Just [("down" , DoublePoint 0.0 0.5)][_^M_][_$_]
+ , Just [("up" , DoublePoint 0.0 (-0.5))][_^M_][_$_]
hunk ./NatIN.INblobpalette 91
- , Just [ ("down" , DoublePoint 0.0 0.5)[_^M_][_$_]
- , ("up" , DoublePoint 0.0 (-0.5) )][_^M_][_$_]
+ , Just [ ("up" , DoublePoint 0.0 (-0.5) )[_^M_][_$_]
+ , ("down" , DoublePoint 0.0 0.5) ][_^M_][_$_]
hunk ./index.html 4
+ <meta name="keywords" content="IN, Interaction Nets, editor, INblobs" />[_^M_][_$_]
+ <meta name="description" content="Free Interaction Nets editor." />[_^M_][_$_]
hunk ./index.html 24
- or copy the tarball <a href="INblobs.tar.gz">INblobs.tar.gz</a> generated at 20<sup>th</sup> january 2006.[_^M_][_$_]
+ or copy the latest tarball <a href="INblobs.tar.gz">INblobs.tar.gz</a> generated at 7<sup>th</sup> february 2006.[_^M_][_$_]
hunk ./index.html 34
-[_^I_][_^M_][_$_]
+ <h3> Pre-compiled versions </h3>[_^M_][_$_]
+ In here you can avoid to install the necessary tools/libraries. <br>[_^M_][_$_]
+ See if there are a pre-compiled version for your platform.[_^M_][_$_]
+ <h4>Windows XP </h4>[_^M_][_$_]
+ <ol>[_^M_][_$_]
+ <li> Simply download <a href="run/INblobs_win.zip">INblobs for Windows XP</a>;[_^M_][_$_]
+ <li>extract from file (the archive already has a containing folder);[_^M_][_$_]
+ <li>run the executable inside the folder;[_^M_][_$_]
+ <li> after such a complicated process, relax a little bit!!![_^M_][_$_]
+ <li> experiment INblobs.[_^M_][_$_]
+ </ol> [_^M_][_$_]
+[_^I_] [_^M_][_$_]
+ <h4>MacOsX</h4>[_^M_][_$_]
+[_^I_][_^I_][_^I_][_^M_][_$_]
+ <h4>Linux</h4>[_^M_][_$_]
+[_^I_][_^I_][_^I_][_^I_][_^M_][_$_]
+[_^I_][_^I_][_^M_][_$_]
hunk ./index.html 62
-[_^M_][_$_]
- <li> implement the suport to define rules graphically; lhs, rhs[_^M_][_$_]
-[_^M_][_$_]
- <li> implement tree of rules[_^M_][_$_]
hunk ./src/Constants.hs 40
+kPrincipalPortSize = 3 :: Int
hunk ./src/DisplayOptions.hs 13
-standard = DP []
+standard = DP [EdgeLabel]
hunk ./src/NetworkFile.hs 107
- ; ns <- inElement "Nodes" $ many1 parseContents
- ; es <- inElement "Edges" $ many1 parseContents
+ ; ns <- inElement "Nodes" $ many parseContents
+ ; es <- inElement "Edges" $ many parseContents
hunk ./src/Ports.hs 71
- do WX.polygon dc points options[_^M_][_$_]
- logMessage "" [_^M_][_$_]
+ WX.polygon dc points options[_^M_][_$_]
hunk ./src/Ports.hs 73
- param = 2[_^M_][_$_]
+ param = kPrincipalPortSize[_^M_][_$_]
}