]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: e79c8b8)
This commit patches the environment and the library so that their status is
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 16 Sep 2011 14:14:15 +0000 (14:14 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 16 Sep 2011 14:14:15 +0000 (14:14 +0000)
contained in the global status of Matita. This allows several users to execute
concurrently in the same instance of Matita, since they are now using
independent statuses.


No differences found
Unnamed repository; edit this file 'description' to name the repository.