Linux and Mac
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateThu, 16 Mar 2006 15:06:36
dateThu, 16 Mar 2006 15:06:36
hash20060316150636-970b1-44621b88ddf73c1ea2add55612967f744e364683
Linux and Mac

- Makefile fixed
- End of lines to UNIX
- README file
- makeclean MS-DOS batch file
- more palette files
- Due to wxWidgets limitations, we need conditional compilation (on platforms):
some features of the library are not possible in some platforms.
26 file(s) changed:
Makefile +63 -8
NatIN.INblobpalette +94 -94
NatINLafont.INblobpalette [added]
README [added]
examples/LafontAritmetic.INblobs +5437 -5436
examples/LafontAritmetic.txt +36 -36
examples/SZ=Z.INblobs +572 -571
examples/add from Calculus for interacction nets.INblobs +1344 -1344
examples/add from Calculus for interacction nets.txt +23 -23
examples/addS=Sadd2.INblobs +712 -711
examples/empty.INblobs +286 -285
index.html +82 -82
interface.INblobpalette [added]
lib/DData/IntBag.hs +1 -1
lib/DData/Map.hs +1 -1
lib/DData/MultiSet.hs +1 -1
lib/DData/Set.hs +1 -1
makeclean.bat [added]
src/Common.hs +1 -1
src/DocumentFile.hs +97 -97
src/INRule.hs +139 -139
src/INRules.hs +69 -69
src/NetworkUI.hs +22 -5
src/Ports.hs +116 -116
startghc.bat +1 -1
startghci.bat +1 -1