repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
New File Format
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateFri, 25 Jan 2008 15:58:17
dateFri, 25 Jan 2008 15:58:17
hash20080125155817-970b1-a82964446e8b3ad37f97a782d5cd3f4bc211f931
New File Format

Remove redundant information.
35 file(s) changed:
INblobs.xsd [added] diff | history | annotate
Makefile +8 -0 diff | history | annotate
examples/LafontAritmetic.INblobs +828 -3931 diff | history | annotate
examples/Lambda-calculusForLinearTerms.INblobs +152 -524 diff | history | annotate
examples/New-Token-Passing/CallByNameForClosedTerms+BNL-Iterators.INblobs +2483 -14700 diff | history | annotate
examples/New-Token-Passing/CallByValueForClosedTerms+BNL-Iterators.INblobs +2503 -14848 diff | history | annotate
examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs +7177 -44775 diff | history | annotate
examples/Token-Passing/CallByNameForClosedTerms.INblobs +1651 -9874 diff | history | annotate
examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs +7631 -47557 diff | history | annotate
examples/Token-Passing/CallByNameWithOpenTerms.INblobs +2403 -13394 diff | history | annotate
examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs +7764 -47783 diff | history | annotate
examples/Token-Passing/CallByValueForClosedTerms.INblobs +1730 -10286 diff | history | annotate
examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs +8265 -50905 diff | history | annotate
examples/Token-Passing/CallByValueWithOpenTerms.INblobs +2529 -14146 diff | history | annotate
examples/add from Calculus for interacction nets.INblobs +333 -1082 diff | history | annotate
examples/empty.INblobs +27 -47 diff | history | annotate
examples/sort.INblobs +1447 -7267 diff | history | annotate
src/Common.hs +10 -0 diff | history | annotate
src/CommonUI.hs +52 -39 diff | history | annotate
src/Document.hs +3 -3 diff | history | annotate
src/DocumentFile.hs +57 -10 diff | history | annotate
src/Functional/Compiler.hs +67 -73 diff | history | annotate
src/GUIEvents.hs +4 -4 diff | history | annotate
src/INChecks.hs +68 -61 diff | history | annotate
src/INReduction.hs +42 -42 diff | history | annotate
src/INReductionStrategies.hs +27 -26 diff | history | annotate
src/INRule.hs +7 -12 diff | history | annotate
src/INTextual.hs +36 -36 diff | history | annotate
src/Network.hs +92 -99 diff | history | annotate
src/NetworkControl.hs +9 -22 diff | history | annotate
src/NetworkFile.hs +43 -44 diff | history | annotate
src/NetworkView.hs +26 -25 diff | history | annotate
src/Palette.hs +8 -4 diff | history | annotate
src/Ports.hs +6 -7 diff | history | annotate
src/SpecialSymbols.hs +10 -7 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie