Changeset 66
- Timestamp:
 - Mar 14, 2012, 3:47:02 PM (14 years ago)
 - Location:
 - papers/FDL2012
 - Files:
 - 
          
- 2 edited
 
- 
          FDL2012.tex (modified) (1 diff)
 - 
          exp_results.tex (modified) (2 diffs)
 
 
Legend:
- Unmodified
 - Added
 - Removed
 
- 
        
papers/FDL2012/FDL2012.tex
r65 r66 25 25 \usepackage[ruled]{algorithm2e} 26 26 27 28 \graphicspath{{schema/}} 27 29 \newtheorem{definition}{Definition} 28 30 \newtheorem{property}{Property}  - 
        
papers/FDL2012/exp_results.tex
r64 r66 9 9 \begin{table} [h] 10 10 %\hspace*{-8mm} 11 \begin{tabular}{ |c|c|c|c|}11 \begin{tabular}{cccc} 12 12 13 13 \toprule … … 34 34 \begin{table} [h] 35 35 %\hspace*{-8mm} 36 \begin{tabular}{ |c|c|c|c|}36 \begin{tabular}{cccc} 37 37 38 38 \toprule  
Note: See TracChangeset
          for help on using the changeset viewer.
      ![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png)