projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add the prototype to the research goals.
[matthijs/master-project/report.git]
/
pret-trans.lua
2009-11-06
Matthijs Kooijman
Revert "Allow transformations to be indented."
blob
|
commitdiff
|
raw
2009-11-04
Matthijs Kooijman
Make pret-trans call pret-lam indirectly.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-02
Matthijs Kooijman
Allow transformations to be indented.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-30
Matthijs Kooijman
Use \HLine instead of \blackrule in transformations.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Tweak the sizes of the frames in transformations a...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-27
Matthijs Kooijman
Let all lambda expressions in pret-trans share subscrip...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-27
Matthijs Kooijman
Use local variables for storing visualizer dicts.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-27
Matthijs Kooijman
Make pret-trans complain on invalid input.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-25
Matthijs Kooijman
Remove a few debug prints from pret-trans.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-25
Matthijs Kooijman
Update the pret-trans to current context beta.
blob
|
commitdiff
|
raw
|
diff to current
2009-07-27
Matthijs Kooijman
Add transformation pretty printer.
blob
|
commitdiff
|
raw
|
diff to current