]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe07fca) | patch
- indentation is now in pseudo-functional style!
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 Oct 2002 16:58:31 +0000 (16:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 Oct 2002 16:58:31 +0000 (16:58 +0000)
commit181b46824ce8f756367a201d67f02805a90c9da3
tree6d794b653d424bf697b4213cd8a5628786c0bf80tree | snapshot
parentfe07fcacb7060dddc6542b04bc1168f444ceaebfcommit | diff
- indentation is now in pseudo-functional style!
helm/gTopLevel/fourierR.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.