gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control system
projects
/
mjc2wsl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
experimental transformations - added Flag Removal to the auto transfs
[mjc2wsl.git]
/
src-wsl
/
transf-min.wsl
2014-02-09
Doni Pracner
transf-min - we run simplify without the assumptions...
blob
|
commitdiff
|
raw
2014-02-08
Doni Pracner
transf-min does not need to explicitly Simplify, it...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-11
Doni Pracner
ant build - new task to run a transf on a single file...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-11
Doni Pracner
added src-wsl; the transf-min.wsl script
blob
|
commitdiff
|
raw
|
diff to current
Svarog.pmf.uns.ac.rs/gitweb maintanance
Doni Pracner
