]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8392f6) | patch
long file names caused indentation underflow (String.make) when times
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2011 19:26:02 +0000 (19:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2011 19:26:02 +0000 (19:26 +0000)
commite8ff5ae44f5dc285f5180543db6a6745ffad7a82
tree3c04a0f7a8b2f81ff321781cfa8977f856e491b4tree | snapshot
parentf8392f63fab2a0b901f83cbf8c23e7b3c1dbd6cecommit | diff
long file names caused indentation underflow (String.make) when times
were displayed
matita/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.