Timeline


and .

06/27/08:

17:03 News edited by ivan.zapreev
Added the proper link to the project. (diff)
16:55 Related edited by ivan.zapreev
Added COMPASS. (diff)
16:48 Ticket #22 (Moving bugs and todo items to the Ticker system.) closed by ivan.zapreev
fixed
16:47 Ticket #42 (Deleting BUGLIST and TODOLIST files.) created by ivan.zapreev
Dear Christina, I have moved the important content from the TODOLIST and …
16:44 Ticket #41 (Improving the architecture of MRMC.) created by ivan.zapreev
* May be the MRMC/src/runtime.c file is not such a good idea, since …
16:40 Ticket #40 (Error bounds and the numerical model-checking engine) created by ivan.zapreev
Error bounds are not properly computed and used! For nested formulas it is …
16:35 Ticket #39 (Unify source-code comments) created by ivan.zapreev
Make method comments look alike, e.g.: […]
16:11 Ticket #38 (Improving bisimulation engine.) closed by ivan.zapreev
wontfix: Here are my answers in the point-wise manner: * The bisimulation engine: …
16:05 Ticket #38 (Improving bisimulation engine.) created by ivan.zapreev
Implement David Jansen's suggestions for lumping: […] * Figure 3.1 …
15:56 Ticket #37 (Implement red-black trees for Lumping (bisimulation)) closed by ivan.zapreev
wontfix: The experiments done by Varun Agravala indicate that the results are not …
15:54 Ticket #37 (Implement red-black trees for Lumping (bisimulation)) created by ivan.zapreev
Implement red-black trees for Lumping (bisimulation) and integrate them …
15:45 Ticket #36 (Add simulation engine for PCTL.) created by ivan.zapreev
In principle all algorithms developed for model-checking CSL properties …
15:43 Ticket #35 (Improving $RESULT and $STATE commands) created by ivan.zapreev
In the command prompt of MRMC, add a possibility to get not just the …
15:41 Ticket #34 (Add a possibility to dump the model-checking results) created by ivan.zapreev
Add a possibility to dump the model-checking results into a file from the …
15:41 Ticket #33 (Improve and unify the error/warning/info messages.) created by ivan.zapreev
Should be done as a part of Architectural change of MRMC. Make a clear …
15:39 Ticket #32 (The probabilities comparison in the Bisimulation engine.) created by ivan.zapreev
Somewhere in probabilistic bisimulation we test that probability values …
15:34 Ticket #31 (CSL/CTMC Simulation: Improve speed for the Steady-state operator) created by ivan.zapreev
When doing regenerative simulations, for example taking the test case …
15:30 Ticket #30 (CSL/CTMC, Simulation: Steady-State operator, functional tests) created by ivan.zapreev
Add functional tests into the test suite for testing the behavior of the …
15:17 Ticket #29 (Parser: The power of || and && operators) closed by ivan.zapreev
fixed
15:17 Ticket #29 (Parser: The power of || and && operators) created by ivan.zapreev
General parser problem with the power of || and && operators. In MRMC up …
15:15 Ticket #28 (PRCTL, lumping: The E operator problem.) created by ivan.zapreev
PRCTL, E operator gives different results with and without formula …
15:02 Ticket #27 (CSRL, Time- and Reward- bounded until operator, Qureshi Sanders algorithm) created by ivan.zapreev
We get different results if state space is reordered, in particular this …
14:58 Ticket #26 (CSL/CTMC: TIme bounded until, zero time bounds.) closed by ivan.zapreev
invalid: In case the time bound is set to [0,0] we expect it to be an unbounded …
14:57 Ticket #26 (CSL/CTMC: TIme bounded until, zero time bounds.) created by ivan.zapreev
In test […] for […] we get […] But it should be […]
14:54 Ticket #25 (Iterative methods: problems with Gauss-Seidel and Gauss-Jacobi) closed by ivan.zapreev
invalid: Here the problem is that Inverted Jacobi does not converge having initial …
14:50 Ticket #25 (Iterative methods: problems with Gauss-Seidel and Gauss-Jacobi) created by ivan.zapreev
See test: […] When checking […] (Gauss-Seidel) steady state …
14:45 Ticket #24 (PRCTL: time- and reward- bounded until, malfunction) closed by ivan.zapreev
invalid: This turned out to be not a bug. I do not remember why, but I checked the …
14:44 Ticket #24 (PRCTL: time- and reward- bounded until, malfunction) created by ivan.zapreev
In […] test case we are getting for […] the following …
14:27 Ticket #23 (Add SVN notifications) created by ivan.zapreev
I know that it is possible to have notifications in case of changes in the …
13:42 Ticket #22 (Moving bugs and todo items to the Ticker system.) created by ivan.zapreev
Currently the new and old bugs are stored in the ./BUGLIST. The proposed …
13:30 Milestone MRMC v1.3 completed
The next release of MRMC, v1.3. It has to be done before the first of July …
13:11 Contribute edited by ivan.zapreev
minor ;) (diff)
12:14 News edited by nguyen
(diff)
12:12 Ticket #15 (Make Tracker accessible directly.) closed by nguyen
fixed
12:04 Ticket #16 (Updating Wikipedia pages) closed by ivan.zapreev
fixed: Done. The release will come today!!!
11:56 Ticket #20 (Adding stuff members to the mrmc-users mailing list) closed by nguyen
fixed: Done
11:53 Contribute edited by nguyen
(diff)

06/25/08:

17:38 Ticket #13 (change colors of web page) closed by ivan.zapreev
fixed: Done for now, the time based theme might come after the release .... some …
11:25 Ticket #19 (Testing MRMC downloads for release) closed by christinajansen
fixed
10:19 Ticket #13 (change colors of web page) reopened by ivan.zapreev
10:04 Ticket #21 (Put David's future ideas on website) closed by christinajansen
fixed
10:02 Contribute edited by christinajansen
(diff)
09:37 Contribute edited by christinajansen
(diff)

06/24/08:

17:04 news_2006 edited by christinajansen
(diff)
16:54 Related edited by ivan.zapreev
Added Quasimodo. (diff)
14:03 Ticket #21 (Put David's future ideas on website) created by christinajansen
To add the David's future ideas to the Contribute page, similar to the …
13:12 Ticket #13 (change colors of web page) closed by ivan.zapreev
fixed: I did some layout.css and site.html fixes. Not the colors are easily …
11:39 Ticket #10 (Creating MRMC distribution files.) closed by christinajansen
fixed
10:12 People/FormerTeamMembers edited by ivan.zapreev
Changed image sizes with respect to the new content width. (diff)
10:11 People edited by ivan.zapreev
Fixed Image sizes with respect to the new content width (diff)

06/23/08:

21:57 Contribute edited by ivan.zapreev
the image name has changed (diff)
18:42 Ticket #7 (Make a new MRMC logo.) closed by nguyen
fixed
16:25 Ticket #10 (Creating MRMC distribution files.) reopened by ivan.zapreev
The release scripts did not include the ./lib/mrmc.a library into the …
14:45 Ticket #16 (Updating Wikipedia pages) reopened by ivan.zapreev
14:45 Ticket #16 (Updating Wikipedia pages) closed by ivan.zapreev
fixed: I will do the rest myself :) Although there is not much left to be done, …
14:38 Ticket #10 (Creating MRMC distribution files.) closed by christinajansen
fixed
14:05 Ticket #20 (Adding stuff members to the mrmc-users mailing list) created by ivan.zapreev
Dear Viet Yen, If it is not done yet, could you please add the following …
13:48 Ticket #19 (Testing MRMC downloads for release) created by ivan.zapreev
Windows and Mac OS X binaries: 1. Download files from the download page: …
12:22 Ticket #17 (Using StatCounter) closed by ivan.zapreev
fixed: Done only partially, but it seems to me it is as much as we can get here …
11:46 Ticket #8 (Updating the server links) closed by ivan.zapreev
fixed: It seems to me that we are done with this one.
11:20 news_2006 edited by christinajansen
(diff)
11:15 news_2006 edited by christinajansen
(diff)
11:04 news_2007 edited by christinajansen
(diff)

06/22/08:

18:55 Contact edited by ivan.zapreev
(diff)
18:43 Contribute edited by ivan.zapreev
(diff)
11:41 Related edited by ivan.zapreev
Minor layout improvements. (diff)
11:38 Related edited by ivan.zapreev
Updated some links and improved text. (diff)
11:25 Related edited by ivan.zapreev
Added model checking tools here, most importantly, I've added VESTA … (diff)
10:47 Ticket #18 (Transit MRMC sources from CVS to SVN) created by ivan.zapreev
Add MRMC sources to the …
10:42 Ticket #17 (Using StatCounter) created by ivan.zapreev
I believe that it would be nice to have a counter for the number of …
10:34 Ticket #16 (Updating Wikipedia pages) created by ivan.zapreev
The Wikipedia page has to be updated with respect to MRMC v1.3 The link to …

06/20/08:

22:01 Contribute edited by nguyen
(diff)
22:00 Contribute edited by nguyen
(diff)
22:00 Contribute edited by nguyen
(diff)
21:51 Contribute edited by nguyen
(diff)
21:49 Contribute edited by nguyen
(diff)
16:24 Ticket #15 (Make Tracker accessible directly.) created by ivan.zapreev
May be not know, by definitely soon, we should somehow link the tracker to …
16:19 WikiStart edited by ivan.zapreev
Fixed the GPL name. (diff)
15:54 Ticket #14 (Video capturing console output of MRMC usage) created by nguyen
Create a small video that shows the console and MRMC running in it. Put it …
15:33 Ticket #13 (change colors of web page) created by ivan.zapreev
Add color themes: 1. A color theme by choice 2. A color theme by the …
15:06 Specifications edited by ivan.zapreev
Fixing pictures (diff)
15:04 News edited by ivan.zapreev
Added news about the upcomming release. (diff)
14:52 News edited by ivan.zapreev
Added some news. (diff)
14:46 TOC edited by ivan.zapreev
This was not really documentation, because we cite project, papers and … (diff)
14:45 Related edited by ivan.zapreev
Fixed the picture size. (diff)
14:42 Ticket #4 (Move Downloads scripts to Aachen) closed by ivan.zapreev
fixed
14:40 Ticket #12 (Adding a fake e-mail into the mrmc-stuff mailing list) closed by ivan.zapreev
fixed
14:11 Ticket #12 (Adding a fake e-mail into the mrmc-stuff mailing list) created by ivan.zapreev
Viet Yen, Can you please create some dummy e-mail, or just register …
12:43 Ticket #11 (Synchronizing the downloads script woth the mailing lists.) closed by nguyen
fixed: 1. From must be the emailaddress to be subscribed. To must be …
11:23 TOC edited by ivan.zapreev
Linked the downloads script in. (diff)
10:59 Contribute edited by ivan.zapreev
Minor layout improvements. (diff)
10:56 WikiStart edited by ivan.zapreev
Minor layout improvements. (diff)
10:51 Specifications edited by ivan.zapreev
Added links to new manuals, fixed some of the old links, resized the … (diff)
10:08 Contribute edited by ivan.zapreev
Minor text improvements. (diff)
10:05 Ticket #11 (Synchronizing the downloads script woth the mailing lists.) created by ivan.zapreev
Could you please tell me: 1. What should I put into the From, To and Body …
10:01 Ticket #10 (Creating MRMC distribution files.) created by ivan.zapreev
Could you please create Windows and Max OS distributions of MRMC and then …

06/19/08:

22:20 news_2007 edited by ivan.zapreev
(diff)
22:19 News edited by ivan.zapreev
(diff)
22:19 news_2007 edited by ivan.zapreev
(diff)
22:18 News edited by ivan.zapreev
(diff)
22:14 Contact edited by nguyen
(diff)
22:14 Contact edited by nguyen
(diff)
22:14 Contact edited by nguyen
(diff)
22:12 Contribute edited by nguyen
(diff)
22:07 Ticket #9 (Enhanced Bitset Code) created by nguyen
Integrating David's bitset code, test for performance, memory leaks, etc …
21:48 People/FormerTeamMembers edited by ivan.zapreev
Added a nice picture (diff)
21:48 People edited by ivan.zapreev
Added a nice picture (diff)
21:46 Bibliography edited by ivan.zapreev
minor (diff)
21:45 Specifications edited by ivan.zapreev
minor (diff)
21:45 Related edited by ivan.zapreev
Added a nice picture (diff)
21:43 Contribute edited by ivan.zapreev
Added a nice picture (diff)
21:41 Specifications edited by ivan.zapreev
Added a nice picture (diff)
21:41 Bibliography edited by ivan.zapreev
Added a nice picture (diff)
21:38 WikiStart edited by ivan.zapreev
minor fixes (diff)
21:37 news_2005 edited by ivan.zapreev
Added a nice picture (diff)
21:37 news_2006 edited by ivan.zapreev
Added a nice picture (diff)
21:36 news_2007 edited by ivan.zapreev
Added a nice picture (diff)
21:36 News edited by ivan.zapreev
Added a nice picture (diff)
21:33 WikiStart edited by ivan.zapreev
minor (diff)
21:32 WikiStart edited by ivan.zapreev
Added a nice picture (diff)
20:23 People edited by nguyen
(diff)
20:16 Ticket #8 (Updating the server links) created by ivan.zapreev
For making the downloads structure more uniform I have created: …
19:14 Ticket #7 (Make a new MRMC logo.) created by ivan.zapreev
We need a new MRMC logo, here are some scratches in the attachment.
19:12 Ticket #2 (Add hyper links to group and university pages) closed by ivan.zapreev
fixed
19:11 People/FormerTeamMembers edited by ivan.zapreev
Reordered people (diff)
19:10 People/FormerTeamMembers edited by ivan.zapreev
Added Sven Johr, he worked on CTMDPI stuff (diff)
19:05 People edited by ivan.zapreev
Added E. Moritz Hahn (diff)
19:04 none.gif attached to People/CurrentTeamMembers by ivan.zapreev
19:04 People edited by ivan.zapreev
Added E. Moritz Hahn (diff)
18:58 People edited by ivan.zapreev
Ordered by position and then by the participation time (diff)
18:55 People edited by ivan.zapreev
Added the picture of Holger Hermanns (diff)
18:53 hhermanns.jpg attached to People/CurrentTeamMembers by ivan.zapreev
18:48 People edited by ivan.zapreev
Resizing pictures (diff)
18:46 People edited by ivan.zapreev
Added Holger Hermanns (diff)
18:41 People/FormerTeamMembers edited by ivan.zapreev
Adding hyper links to groups, people and universities (diff)
18:35 People edited by ivan.zapreev
Adding hyper links to groups, people and universities (diff)
14:54 Ticket #5 (Links to bibtex & pdf files) closed by christinajansen
fixed
14:50 news_2005 edited by christinajansen
(diff)
12:49 WikiStart edited by christinajansen
(diff)
12:48 Ticket #6 (Email notifications from tickets) closed by nguyen
worksforme
12:48 mrmc_cmd.jpg attached to WikiStart by christinajansen
12:46 news_2007 edited by christinajansen
(diff)
12:45 Ticket #6 (Email notifications from tickets) created by nguyen
Set email notifications up from tickets
12:43 news_2006 edited by ivan.zapreev
Removed the mailing list announcement (diff)
12:43 news_2005 edited by ivan.zapreev
Removed the mailing list announcement (diff)
12:42 news_2005 edited by ivan.zapreev
Minor layout improvements. (diff)
12:42 news_2006 edited by ivan.zapreev
Minor layout improvements. (diff)
12:41 News edited by ivan.zapreev
Minor layout improvements. (diff)
12:41 news_2007 edited by ivan.zapreev
Minor layout improvements. (diff)
12:38 Contact edited by ivan.zapreev
(diff)
12:38 Contact edited by ivan.zapreev
Minor layout improvements. (diff)
12:37 Contact edited by ivan.zapreev
Minor layout improvements. (diff)
12:34 Contact edited by ivan.zapreev
Minor layout improvements. (diff)
12:33 Contact edited by ivan.zapreev
Minor layout improvements. (diff)
12:31 News edited by christinajansen
(diff)
12:28 Related edited by christinajansen
(diff)
12:28 TOC edited by nguyen
(diff)
12:22 Bibliography edited by christinajansen
(diff)
12:18 Bibliography edited by christinajansen
(diff)
12:16 Contact edited by nguyen
(diff)
12:15 Contact edited by nguyen
(diff)
12:15 Contribute edited by nguyen
(diff)
12:11 TOC edited by nguyen
(diff)
12:11 TOC edited by nguyen
(diff)
12:11 TOC edited by nguyen
(diff)
12:07 Specifications edited by christinajansen
(diff)
12:04 TOC edited by nguyen
(diff)
12:04 TOC edited by nguyen
(diff)
12:04 TOC edited by nguyen
(diff)
12:03 TOC edited by nguyen
(diff)
12:03 TOC edited by nguyen
(diff)
12:02 WikiStart edited by nguyen
(diff)
12:01 WikiStart edited by nguyen
(diff)
12:01 WikiStart edited by nguyen
(diff)
11:59 WikiStart edited by nguyen
(diff)
11:58 WikiStart edited by nguyen
(diff)
11:54 Ticket #5 (Links to bibtex & pdf files) created by christinajansen
The external bibtex and pdf files still have to be linked.
11:39 Ticket #4 (Move Downloads scripts to Aachen) created by ivan.zapreev
The download.php script has to be moved to Aachen: 1. Attached to the new …
11:32 Ticket #3 (Updating images of the MRMC output and architecture) closed by ivan.zapreev
fixed
11:14 Ticket #1 (Remove attached bibtex entries.) closed by christinajansen
fixed: All unneeded attachment should be removed now!
09:52 Contact edited by ivan.zapreev
(diff)
09:52 Contact edited by ivan.zapreev
Text and layout improvements, added some missing links. (diff)
09:35 WikiStart edited by ivan.zapreev
Improving the content (diff)
09:32 WikiStart edited by ivan.zapreev
(diff)
08:53 Contact edited by nguyen
(diff)

06/18/08:

22:40 WikiStart edited by ivan.zapreev
(diff)
17:16 WikiStart edited by ivan.zapreev
(diff)
17:14 WikiStart edited by ivan.zapreev
minor (diff)
17:14 WikiStart edited by ivan.zapreev
Damn, may be this is too concise but this is what people need to know at … (diff)
17:09 WikiStart edited by ivan.zapreev
minor (diff)
17:09 Contribute edited by nguyen
(diff)
17:08 WikiStart edited by ivan.zapreev
The less the better :-D (diff)
17:05 TOC edited by nguyen
(diff)
17:01 Contact edited by nguyen
(diff)
17:01 Contact edited by nguyen
(diff)
17:01 WikiStart edited by ivan.zapreev
(diff)
17:00 Contact edited by nguyen
(diff)
16:57 WikiStart edited by ivan.zapreev
(diff)
16:56 Contact edited by nguyen
(diff)
16:55 Specifications edited by ivan.zapreev
(diff)
16:55 Specifications edited by ivan.zapreev
(diff)
16:54 WikiStart edited by ivan.zapreev
Too much information is too bad, remove the unnecessary thins, It is all … (diff)
16:54 Contact edited by nguyen
(diff)
16:50 Contact edited by nguyen
(diff)
16:46 Contribute edited by nguyen
(diff)
16:45 Contribute edited by nguyen
(diff)
16:44 Contribute edited by nguyen
(diff)
16:44 Contribute edited by nguyen
(diff)
16:43 Contribute edited by nguyen
(diff)
16:42 Contribute edited by nguyen
(diff)
16:41 Contribute edited by nguyen
(diff)
16:41 Contribute edited by nguyen
(diff)
16:40 Contribute edited by nguyen
(diff)
16:40 People/FormerTeamMembers edited by ivan.zapreev
Fixing pictures (diff)
16:38 People edited by ivan.zapreev
Fixing pictures (diff)
16:35 Contribute edited by nguyen
(diff)
16:35 WikiStart edited by ivan.zapreev
Adding borders to images (diff)
16:35 Contribute edited by nguyen
(diff)
16:32 WikiStart edited by ivan.zapreev
(diff)
16:31 WikiStart edited by ivan.zapreev
(diff)
16:31 Contribute created by nguyen
16:30 WikiStart edited by ivan.zapreev
Making thins beautiful (diff)
16:23 Specifications edited by nguyen
(diff)
16:23 TOC edited by nguyen
(diff)
16:22 Ticket #3 (Updating images of the MRMC output and architecture) created by ivan.zapreev
The images on the "Home" page have to be updated: mrmc_arch.jpg, …
16:19 Contact created by nguyen
16:19 TOC edited by nguyen
(diff)
16:13 TOC edited by nguyen
(diff)
15:53 People edited by ivan.zapreev
(diff)
15:53 People/FormerTeamMembers edited by ivan.zapreev
(diff)
15:53 People/FormerTeamMembers edited by ivan.zapreev
Removed "content:" (diff)
15:52 People edited by ivan.zapreev
Removed "content:" (diff)
15:50 Ticket #2 (Add hyper links to group and university pages) created by ivan.zapreev
The People pages should be enhanced. We need to add hyper links to the …
15:47 news_2005 edited by christinajansen
(diff)
15:45 news_2006 edited by christinajansen
(diff)
15:36 Ticket #1 (Remove attached bibtex entries.) created by ivan.zapreev
The bibtex and pdf attachments of the Bibliography, Related works and …
15:22 People/FormerTeamMembers edited by ivan.zapreev
Added content, did not put hyper links, Yet (diff)
15:14 vaggarwala.jpg attached to People/FormerTeamMembers by ivan.zapreev
15:14 tkemna.jpg attached to People/FormerTeamMembers by ivan.zapreev
15:13 moldenkamp.jpg attached to People/FormerTeamMembers by ivan.zapreev
15:13 mkhattri.jpg attached to People/FormerTeamMembers by ivan.zapreev
15:12 People:FormerTeamMembers created by ivan.zapreev
15:09 People/FormerTeamMembers edited by ivan.zapreev
Added "content:" (diff)
15:09 People edited by ivan.zapreev
Added "content:" (diff)
15:07 People edited by ivan.zapreev
Some minor fixes for the images size and positions (diff)
13:21 TOC edited by ivan.zapreev
(diff)
13:20 TOC edited by ivan.zapreev
(diff)
13:20 People edited by ivan.zapreev
(diff)
13:16 People edited by ivan.zapreev
(diff)
13:09 People/CurrentTeamMembers edited by ivan.zapreev
(diff)
13:09 People/FormerTeamMembers edited by ivan.zapreev
(diff)
13:06 People edited by ivan.zapreev
(diff)
13:03 TOC edited by ivan.zapreev
(diff)
13:02 TOC edited by ivan.zapreev
(diff)
12:56 TOC edited by ivan.zapreev
(diff)
12:56 News edited by ivan.zapreev
(diff)
12:56 news_2007 edited by ivan.zapreev
(diff)
12:55 news_2007 edited by ivan.zapreev
(diff)
12:54 News edited by ivan.zapreev
(diff)
12:40 WikiStart edited by nguyen
(diff)
12:35 TOC edited by nguyen
(diff)
12:33 Specifications edited by nguyen
(diff)
11:26 news_2006 edited by christinajansen
(diff)
11:20 TOC edited by christinajansen
(diff)
11:17 news_2005 created by christinajansen
11:17 news_2006 created by christinajansen
11:16 News edited by christinajansen
(diff)
11:15 news_2007 edited by christinajansen
(diff)
11:13 news_2007 edited by christinajansen
(diff)
11:00 Bibliography edited by christinajansen
(diff)
10:58 news_2007 created by christinajansen
10:51 News edited by christinajansen
(diff)
10:42 Specifications edited by christinajansen
(diff)
10:34 Related edited by christinajansen
(diff)

06/17/08:

19:16 Related edited by christinajansen
(diff)
18:35 Bibliography edited by christinajansen
(diff)
18:30 Bibliography edited by christinajansen
(diff)
18:22 Bibliography edited by christinajansen
(diff)
18:18 Bibliography edited by christinajansen
(diff)
18:13 Bibliography edited by christinajansen
(diff)
18:04 Bibliography edited by christinajansen
(diff)
17:50 Specifications edited by christinajansen
(diff)
17:40 Specifications edited by christinajansen
(diff)
17:35 Specifications edited by christinajansen
(diff)
17:23 People/CurrentTeamMembers edited by ivan.zapreev
Minor, this way the attachments section should be separated from the list … (diff)
17:14 People/CurrentTeamMembers edited by ivan.zapreev
This way it is still ugly, but at least the pictures are now jumping wild … (diff)
17:11 WikiStart edited by ivan.zapreev
1. now we can have a local list of content 2. We have to make images look … (diff)
17:00 TOC edited by ivan.zapreev
(diff)
16:59 WikiStart edited by ivan.zapreev
(diff)
16:55 People/CurrentTeamMembers edited by ivan.zapreev
(diff)
16:42 People/CurrentTeamMembers edited by ivan.zapreev
(diff)
16:38 People/CurrentTeamMembers edited by ivan.zapreev
(diff)
16:28 iszapreev.jpg attached to People/CurrentTeamMembers by ivan.zapreev
16:25 vynguyen.jpg attached to People/CurrentTeamMembers by ivan.zapreev
16:25 jpkatoen.jpg attached to People/CurrentTeamMembers by ivan.zapreev
16:25 dnjansen.jpg attached to People/CurrentTeamMembers by ivan.zapreev
16:25 cjansen.jpg attached to People/CurrentTeamMembers by ivan.zapreev
16:24 People/CurrentTeamMembers edited by ivan.zapreev
(diff)
16:21 People/FormerTeamMembers created by ivan.zapreev
16:20 People/CurrentTeamMembers created by ivan.zapreev
16:20 People edited by ivan.zapreev
(diff)
16:19 CurrentTeamMembers edited by ivan.zapreev
(diff)
16:18 FormerTeamMembers created by ivan.zapreev
16:18 CurrentTeamMembers edited by ivan.zapreev
(diff)
16:17 CurrentTeamMembers created by ivan.zapreev
16:17 TOC edited by ivan.zapreev
(diff)
16:16 People edited by ivan.zapreev
(diff)
16:16 People edited by ivan.zapreev
(diff)
16:11 People edited by ivan.zapreev
(diff)
15:52 TOC edited by ivan.zapreev
(diff)
15:51 TOC edited by ivan.zapreev
(diff)
15:49 TOC edited by ivan.zapreev
(diff)
15:49 TOC edited by ivan.zapreev
(diff)
15:43 TOC edited by ivan.zapreev
(diff)
15:43 TOC edited by ivan.zapreev
(diff)
15:38 People edited by ivan.zapreev
(diff)
12:16 WikiStart edited by christinajansen
(diff)
12:08 WikiStart edited by christinajansen
(diff)
11:58 WikiStart edited by christinajansen
(diff)
11:49 WikiStart edited by christinajansen
(diff)
11:40 TOC edited by christinajansen
(diff)
11:38 Downloads created by christinajansen
11:38 Related created by christinajansen
11:37 Bibliography created by christinajansen
11:37 People created by christinajansen
11:36 Specifications created by christinajansen
11:35 News created by christinajansen
11:25 TOC edited by christinajansen
(diff)
10:01 TOC edited by ivan.zapreev
(diff)
09:59 TracNav/TOC edited by ivan.zapreev
(diff)
09:59 WikiStart edited by ivan.zapreev
(diff)
09:59 WikiStart edited by ivan.zapreev
(diff)
09:58 TracNav/TOC created by ivan.zapreev
09:58 TOC edited by ivan.zapreev
(diff)
09:44 WikiStart edited by ivan.zapreev
(diff)
09:44 TOC edited by ivan.zapreev
(diff)
09:43 TOC created by ivan.zapreev

06/16/08:

12:48 WikiStart edited by ivan.zapreev
(diff)
11:59 TracReports created by trac
11:59 TracModPython created by trac
11:59 TracNotification created by trac
11:59 TracFineGrainedPermissions created by trac
11:59 RecentChanges created by trac
11:59 TracRoadmap created by trac
11:59 WikiDeletePage created by trac
11:59 TracChangeset created by trac
11:59 TracNavigation created by trac
11:59 TracEnvironment created by trac
11:59 TracFastCgi created by trac
11:59 WikiMacros created by trac
11:59 TracLogging created by trac
11:59 TracAccessibility created by trac
11:59 TracTicketsCustomFields created by trac
11:59 WikiHtml created by trac
11:59 WikiStart created by trac
11:59 WikiPageNames created by trac
11:59 WikiRestructuredText created by trac
11:59 CamelCase created by trac
11:59 TracTickets created by trac
11:59 TracSupport created by trac
11:59 InterMapTxt created by trac
11:59 TracStandalone created by trac
11:59 PageTemplates created by trac
11:59 TracRevisionLog created by trac
11:59 TracInterfaceCustomization created by trac
11:59 TracAdmin created by trac
11:59 SandBox created by trac
11:59 TracGuide created by trac
11:59 TracLinks created by trac
11:59 InterTrac created by trac
11:59 InterWiki created by trac
11:59 TracQuery created by trac
11:59 TracUnicode created by trac
11:59 TracWorkflow created by trac
11:59 TracUpgrade created by trac
11:59 WikiNewPage created by trac
11:59 TitleIndex created by trac
11:59 TracWiki created by trac
11:59 TracBackup created by trac
11:59 TracPermissions created by trac
11:59 TracImport created by trac
11:59 TracInstall created by trac
11:59 TracPlugins created by trac
11:59 TracSyntaxColoring created by trac
11:59 TracTimeline created by trac
11:59 WikiRestructuredTextLinks created by trac
11:59 TracBrowser created by trac
11:59 TracCgi created by trac
11:59 TracIni created by trac
11:59 TracRss created by trac
11:59 WikiFormatting created by trac
11:59 TracSearch created by trac
11:59 WikiProcessors created by trac
Note: See TracTimeline for information about the timeline view.