Changes between Version 5 and Version 6 of WikiStart

Show
Ignore:
Timestamp:
04/18/09 12:54:11 (5 years ago)
Author:
anonymous (IP: 77.128.88.146)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v5 v6  
    3333Shows a list of patches from the local repositories in a !PatchView. This view is accessible under the command line via 'darcs changes'. 
    3434===== !PushPull.hs ===== 
    35 Provides the functions 'darcs push' and 'darcs pull' . The circuit is for both commands the same. Dependent on the mode (push or pull) only the input and output is different. There are two !PatchViews included (local and remote repository). In the push mode there are the placing patches in 'local repository'-!PatchView and in the pull mode they are in 'remote repository'-!PatchView. Using the arrow buttons („<<<“. „>>>“) the single patches can be selected and deselected. With the command buttons ('Push','Pull') die action can be executed. 
     35Provides the functions 'darcs push' and 'darcs pull' . The circuit is for both commands the same. Dependent on the mode (push or pull) only the input and output is different. There are two !PatchViews included (local and remote repository). In the push mode the patches are in the 'local repository'-!PatchView and in the pull mode they are in the 'remote repository'-!PatchView. Using the arrow buttons („<<<“. „>>>“) to select and deselect patches. With the command buttons ('Push','Pull') the action can be executed. 
    3636===== Main.hs ===== 
    3737This module is the main window from which all commands can be reached. This GUI window is called every time if no command parameter was passed.