Timeline


and

Jun 27, 2008:

5:03 PM News edited by ivan.zapreev
Added the proper link to the project. (diff)
4:55 PM Related edited by ivan.zapreev
Added COMPASS. (diff)
4:48 PM Ticket #22 (Moving bugs and todo items to the Ticker system.) closed by ivan.zapreev
fixed
4:47 PM Ticket #42 (Deleting BUGLIST and TODOLIST files.) created by ivan.zapreev
Dear Christina, I have moved the important content from the TODOLIST …
4:44 PM 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 …
4:40 PM 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 …
4:35 PM Ticket #39 (Unify source-code comments) created by ivan.zapreev
Make method comments look alike, e.g.: […]
4:11 PM Ticket #38 (Improving bisimulation engine.) closed by ivan.zapreev
wontfix: Here are my answers in the point-wise manner: * The bisimulation …
4:05 PM Ticket #38 (Improving bisimulation engine.) created by ivan.zapreev
Implement David Jansen's suggestions for lumping: […] * Figure …
3:56 PM 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 …
3:54 PM Ticket #37 (Implement red-black trees for Lumping (bisimulation)) created by ivan.zapreev
Implement red-black trees for Lumping (bisimulation) and integrate …
3:45 PM Ticket #36 (Add simulation engine for PCTL.) created by ivan.zapreev
In principle all algorithms developed for model-checking CSL …
3:43 PM 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 …
3:41 PM 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 …
3:41 PM 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 …
3:39 PM Ticket #32 (The probabilities comparison in the Bisimulation engine.) created by ivan.zapreev
Somewhere in probabilistic bisimulation we test that probability …
3:34 PM 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 …
3:30 PM 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 …
3:17 PM Ticket #29 (Parser: The power of || and && operators) closed by ivan.zapreev
fixed
3:17 PM Ticket #29 (Parser: The power of || and && operators) created by ivan.zapreev
General parser problem with the power of || and && operators. In MRMC …
3:15 PM Ticket #28 (PRCTL, lumping: The E operator problem.) created by ivan.zapreev
PRCTL, E operator gives different results with and without formula …
3:02 PM 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 …
2:58 PM 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 …
2:57 PM Ticket #26 (CSL/CTMC: TIme bounded until, zero time bounds.) created by ivan.zapreev
In test […] for […] we get […] But it should be […]
2:54 PM 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 …
2:50 PM Ticket #25 (Iterative methods: problems with Gauss-Seidel and Gauss-Jacobi) created by ivan.zapreev
See test: […] When checking […] (Gauss-Seidel) steady state …
2:45 PM 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 …
2:44 PM Ticket #24 (PRCTL: time- and reward- bounded until, malfunction) created by ivan.zapreev
In […] test case we are getting for […] the following …
2:27 PM Ticket #23 (Add SVN notifications) created by ivan.zapreev
I know that it is possible to have notifications in case of changes in …
1:42 PM 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 …
1:30 PM Milestone MRMC v1.3 completed
The next release of MRMC, v1.3. It has to be done before the first of …
1:11 PM Contribute edited by ivan.zapreev
minor ;) (diff)
12:14 PM News edited by nguyen
(diff)
12:12 PM Ticket #15 (Make Tracker accessible directly.) closed by nguyen
fixed
12:04 PM Ticket #16 (Updating Wikipedia pages) closed by ivan.zapreev
fixed: Done. The release will come today!!!
11:56 AM Ticket #20 (Adding stuff members to the mrmc-users mailing list) closed by nguyen
fixed: Done
11:53 AM Contribute edited by nguyen
(diff)

Jun 25, 2008:

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

Jun 24, 2008:

5:04 PM news_2006 edited by christinajansen
(diff)
4:54 PM Related edited by ivan.zapreev
Added Quasimodo. (diff)
2:03 PM 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 …
1:12 PM 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 AM Ticket #10 (Creating MRMC distribution files.) closed by christinajansen
fixed
10:12 AM People/FormerTeamMembers edited by ivan.zapreev
Changed image sizes with respect to the new content width. (diff)
10:11 AM People edited by ivan.zapreev
Fixed Image sizes with respect to the new content width (diff)

Jun 23, 2008:

9:57 PM Contribute edited by ivan.zapreev
the image name has changed (diff)
6:42 PM Ticket #7 (Make a new MRMC logo.) closed by nguyen
fixed
4:25 PM Ticket #10 (Creating MRMC distribution files.) reopened by ivan.zapreev
The release scripts did not include the ./lib/mrmc.a library into the …
2:45 PM Ticket #16 (Updating Wikipedia pages) reopened by ivan.zapreev
2:45 PM Ticket #16 (Updating Wikipedia pages) closed by ivan.zapreev
fixed: I will do the rest myself :) Although there is not much left to be …
2:38 PM Ticket #10 (Creating MRMC distribution files.) closed by christinajansen
fixed
2:05 PM 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 …
1:48 PM Ticket #19 (Testing MRMC downloads for release) created by ivan.zapreev
Windows and Mac OS X binaries: 1. Download files from the download …
12:22 PM 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 …
11:46 AM Ticket #8 (Updating the server links) closed by ivan.zapreev
fixed: It seems to me that we are done with this one.
11:20 AM news_2006 edited by christinajansen
(diff)
11:15 AM news_2006 edited by christinajansen
(diff)
11:04 AM news_2007 edited by christinajansen
(diff)

Jun 22, 2008:

6:55 PM Contact edited by ivan.zapreev
(diff)
6:43 PM Contribute edited by ivan.zapreev
(diff)
11:41 AM Related edited by ivan.zapreev
Minor layout improvements. (diff)
11:38 AM Related edited by ivan.zapreev
Updated some links and improved text. (diff)
11:25 AM Related edited by ivan.zapreev
Added model checking tools here, most importantly, I've added VESTA … (diff)
10:47 AM Ticket #18 (Transit MRMC sources from CVS to SVN) created by ivan.zapreev
Add MRMC sources to the …
10:42 AM 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 AM Ticket #16 (Updating Wikipedia pages) created by ivan.zapreev
The Wikipedia page has to be updated with respect to MRMC v1.3 The …

Jun 20, 2008:

10:01 PM Contribute edited by nguyen
(diff)
10:00 PM Contribute edited by nguyen
(diff)
10:00 PM Contribute edited by nguyen
(diff)
9:51 PM Contribute edited by nguyen
(diff)
9:49 PM Contribute edited by nguyen
(diff)
4:24 PM Ticket #15 (Make Tracker accessible directly.) created by ivan.zapreev
May be not know, by definitely soon, we should somehow link the …
4:19 PM WikiStart edited by ivan.zapreev
Fixed the GPL name. (diff)
3:54 PM 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. …
3:33 PM 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 …
3:06 PM Specifications edited by ivan.zapreev
Fixing pictures (diff)
3:04 PM News edited by ivan.zapreev
Added news about the upcomming release. (diff)
2:52 PM News edited by ivan.zapreev
Added some news. (diff)
2:46 PM TOC edited by ivan.zapreev
This was not really documentation, because we cite project, papers and etc. (diff)
2:45 PM Related edited by ivan.zapreev
Fixed the picture size. (diff)
2:42 PM Ticket #4 (Move Downloads scripts to Aachen) closed by ivan.zapreev
fixed
2:40 PM Ticket #12 (Adding a fake e-mail into the mrmc-stuff mailing list) closed by ivan.zapreev
fixed
2:11 PM 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 PM 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 AM TOC edited by ivan.zapreev
Linked the downloads script in. (diff)
10:59 AM Contribute edited by ivan.zapreev
Minor layout improvements. (diff)
10:56 AM WikiStart edited by ivan.zapreev
Minor layout improvements. (diff)
10:51 AM Specifications edited by ivan.zapreev
Added links to new manuals, fixed some of the old links, resized the … (diff)
10:08 AM Contribute edited by ivan.zapreev
Minor text improvements. (diff)
10:05 AM 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 …
10:01 AM Ticket #10 (Creating MRMC distribution files.) created by ivan.zapreev
Could you please create Windows and Max OS distributions of MRMC and …

Jun 19, 2008:

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

Jun 18, 2008:

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

Jun 17, 2008:

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

Jun 16, 2008:

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