gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control systemauthor | Doni Pracner <quinnuendo@gmail.com> | |
Sun, 9 Feb 2014 19:43:46 +0000 (20:43 +0100) | ||
committer | Doni Pracner <quinnuendo@gmail.com> | |
Sun, 9 Feb 2014 19:43:46 +0000 (20:43 +0100) | ||
commit | 01e49234ef28a738c670053dc56b00cabccf34d7 | |
tree | ad7f81b4e1dd9da427ac22eb36ead5e766a62aec | tree | snapshot (tar.gz zip) |
parent | 6ba7e8efcd800adf5d3bbc0c4113d2d3a3670ddb | commit | diff |
transf-min - we run simplify without the assumptions of a regular system, and then we just simplify it
src-wsl/transf-min.wsl | diff | blob | history |